A Note on Coalgebras and Presheaves

DOI10.1016/S1571-0661(04)80373-6zbMath1270.68198MaRDI QIDQ2842566

James Worrell

Publication date: 15 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (1)

The intersection of algebra and coalgebra

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The temporal logic of coalgebras via Galois algebras
• Connected limits, familial representability and Artin glueing
• On the structure of categories of coalgebras

This page was built for publication: A Note on Coalgebras and Presheaves