Products of coalgebras.
From MaRDI portal
Publication:1771866
DOI10.1007/PL00000334zbMath1061.18005MaRDI QIDQ1771866
H. Peter Gumm, Tobias Schröder
Publication date: 19 April 2005
Published in: Algebra Universalis (Search for Journal in Brave)
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Categories of machines, automata (18B20)
Related Items (15)
Algebraic Signatures Enriched by Dependency Structure ⋮ Distributivity of categories of coalgebras ⋮ The Burnside algebra of a quasigroup. ⋮ A coalgebraic perspective on linear weighted automata ⋮ More existence theorems for recursion categories. ⋮ On minimal coalgebras ⋮ Some facets of Horn covarieties in a category ⋮ WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES ⋮ A simplification functor for coalgebras ⋮ Quantitative Kleene coalgebras ⋮ Transitivity and Difunctionality of Bisimulations ⋮ Weak homomorphisms of coalgebras beyond \(\mathsf{Set}\) ⋮ Comprehension for Coalgebras ⋮ Limits in categories of Vietoris coalgebras ⋮ On Products of Transition Systems
This page was built for publication: Products of coalgebras.
