On the structure of categories of coalgebras

DOI10.1016/S0304-3975(00)00124-9zbMath0973.68178OpenAlexW2092786729MaRDI QIDQ5941161

Toru Tsujishita, James Worrell, Hiroshi Watanabe, A. John Power, Peter T. Johnstone

Publication date: 20 August 2001

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00124-9

zbMATH Keywords

coalgebraclassifiertoposcofree comonadsubobjectweak pullback

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Relating Coalgebraic Notions of Bisimulation ⋮ Distributivity of categories of coalgebras ⋮ Recursively defined metric spaces without contraction ⋮ Non-well-founded trees in categories ⋮ Weighted and branching bisimilarities from generalized open maps ⋮ Universality of coproducts in categories of lax algebras ⋮ More existence theorems for recursion categories. ⋮ Two Cartesian closed categories of information algebras ⋮ On coalgebra based on classes ⋮ Some facets of Horn covarieties in a category ⋮ Extensional quotient coalgebras ⋮ A Categorical Model of the Fusion Calculus ⋮ Category theory for operational semantics ⋮ Coalgebraic semantics for timed processes ⋮ Isomorphism theorems for coalgebras ⋮ Weak homomorphisms of coalgebras beyond \(\mathsf{Set}\) ⋮ The graph conception of set ⋮ The Vietoris monad and weak distributive laws ⋮ Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors ⋮ Comprehension for Coalgebras ⋮ A Note on Coalgebras and Presheaves

Cites Work

• Exponentiable morphisms, partial products and pullback complements
• Cartesian closed exact completions
• Pullback preserving functors
• Sheaves in geometry and logic: a first introduction to topos theory
• A criterion for the existence of subobject classifiers
• The subobject classifier of the category of functional bisimulations
• Regular and exact completions
• Universal coalgebra: A theory of systems
• Artin glueing
• Bisimulation from open maps
• Terminal coalgebras in well-founded set theory
• Elementary observations on 2-categorical limits
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Accessible Categories: The Foundations of Categorical Model Theory
• Finiteness and decidability: II
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• An approach to object semantics based on terminal co-algebras
• Connected limits, familial representability and Artin glueing
• A final coalgebra theorem
• Subequalizers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item