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)

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

(24)

• 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
• scientific article; zbMATH DE number 1722645 (Why is no real title available?)
• 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
• 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)