Comprehension for coalgebras

DOI10.1016/S1571-0661(04)80362-1MaRDI QIDQ2842555zbMATH OpenFDO

Authors Bart Jacobs

Publication date 15 August 2013

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

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80362-1

Mathematics Subject Classification ID

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) Abstract data types; algebraic specification (68Q65)

Recommendations

• On the structure of categories of coalgebras
• scientific article; zbMATH DE number 1231631
• Distributivity of categories of coalgebras
• scientific article; zbMATH DE number 2172972
• Logical construction of final coalgebras

Cites work

• Categorical logic and type theory
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3769855 (Why is no real title available?)
• scientific article; zbMATH DE number 1231634 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• Modal operators for coequations
• Mongruences and cofree coalgebras
• On the structure of categories of coalgebras
• Products of coalgebras.
• Structural induction and coinduction in a fibrational setting
• The temporal logic of coalgebras via Galois algebras
• Universal coalgebra: A theory of systems

Cited in

(1)

• Combinatorial models for coalgebraic structures

This page was built for publication: Comprehension for coalgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842555)