Comprehension for Coalgebras

DOI10.1016/S1571-0661(04)80362-1zbMath1270.18015MaRDI QIDQ2842555

Bart Jacobs

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) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structural induction and coinduction in a fibrational setting
• Categorical logic and type theory
• Universal coalgebra: A theory of systems
• Products of coalgebras.
• The temporal logic of coalgebras via Galois algebras
• Modal Operators for Coequations
• Mongruences and cofree coalgebras
• On the structure of categories of coalgebras