Distributivity of categories of coalgebras

DOI10.1016/S0304-3975(02)00582-0zbMath1061.18003OpenAlexW1968036898MaRDI QIDQ1884878

Tobias Schröder, H. Peter Gumm, Jesse Hughes

Publication date: 27 October 2004

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00582-0

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Special categories (18B99) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Introduction to extensive and distributive categories
• Universal coalgebra: A theory of systems
• Products of coalgebras.
• A fixpoint theorem for complete categories
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
• Introduction to distributive categories
• Covarieties and complete covarieties
• On the structure of categories of coalgebras

This page was built for publication: Distributivity of categories of coalgebras