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)

zbMATH Keywords

coalgebrahomomorphismcategory

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(23)

• Quantitative Kleene coalgebras
• Saturated Kripke structures as Vietoris 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?)
• Subcoalgebras and cocongruence corelations.
• Types and coalgebraic structure
• Functors for coalgebras
• AUTOMATA AND TREE AUTOMATA AS (F₁, F₂)-COALGEBRAS
• On tree coalgebras and coalgebra presentations
• More existence theorems for recursion categories.
• scientific article; zbMATH DE number 2104415 (Why is no real title available?)
• Products of coalgebras.
• scientific article; zbMATH DE number 972601 (Why is no real title available?)
• Coequational logic for accessible functors
• State-based systems and \((F_1,F_2)\)-coalgebras
• On coalgebra based on classes
• From grammars and automata to algebras and coalgebras
• Languages and models for hybrid automata: a coalgebraic perspective
• scientific article; zbMATH DE number 1722645 (Why is no real title available?)
• On coalgebras and type transformations
• On minimal coalgebras
• scientific article; zbMATH DE number 5674738 (Why is no real title available?)
• Birkhoffs variety theorem for 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)