Coalgebras of bounded type

DOI10.1017/S0960129501003590MaRDI QIDQ4792971zbMATH OpenFDO

Authors H. Peter Gumm, T. Schröder

Publication date 2 June 2003

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129501003590

zbMATH Keywords

categorycoalgebrahomomorphism

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Categories of algebras (08C05)

Review text

Let SET be the category of sets, \(F:\text{SET}\to \text{SET}\) a nontrivial functor and \(\beta_A:A\to F(A)\) be a map. A pair \(A=(A,\beta_A)\) is called coalgebra or \(F\)-coalgebra. Automata and nondeterministic automata can be modelled as \(F\)-coalgebras. A map \(\varphi:A\to B\) between \(F\)-coalgebras \(A=(A,\beta_A)\) and \(B=(B,\beta_B)\) is a homomorphism if \(\beta_B\circ \varphi = F(\varphi)\circ \beta_A\). Thus, \(F\)-coalgebras with their homomorphisms form a category. In this category the authors consider the notions and properties of subcoalgebras, congruences, colimits, terminal and cofree coalgebras. In particular it is proved that sub-coalgebras are always closed under finite intersections.

Recommendations

• Birkhoffs variety theorem for coalgebras
• scientific article; zbMATH DE number 2104415
• Functors for coalgebras
• State-based systems and (F₁,F₂)-coalgebras
• AUTOMATA AND TREE AUTOMATA AS (F₁, F₂)-COALGEBRAS

Cited in

(25)

• More existence theorems for recursion categories.
• On coalgebra based on classes
• Products of coalgebras.
• Languages and models for hybrid automata: a coalgebraic perspective
• On tree coalgebras and coalgebra presentations
• Saturated Kripke structures as Vietoris coalgebras
• Types and coalgebraic structure
• Birkhoffs variety theorem for coalgebras
• Representations of first order function types as terminal coalgebras
• From grammars and automata to algebras and coalgebras
• scientific article; zbMATH DE number 5674738 (Why is no real title available?)
• State-based systems and (F₁,F₂)-coalgebras
• scientific article; zbMATH DE number 2063220 (Why is no real title available?)
• scientific article; zbMATH DE number 1497879 (Why is no real title available?)
• scientific article; zbMATH DE number 2104415 (Why is no real title available?)
• Quantitative Kleene coalgebras
• AUTOMATA AND TREE AUTOMATA AS (F₁, F₂)-COALGEBRAS
• On coalgebras and type transformations
• Subcoalgebras and cocongruence corelations.
• scientific article; zbMATH DE number 972601 (Why is no real title available?)
• Functors for coalgebras
• Coequational logic for accessible functors
• Fractals from regular behaviours
• Weighted GKAT: completeness and complexity
• On minimal coalgebras

This page was built for publication: Coalgebras of bounded type

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