Coalgebras of bounded type

DOI10.1017/S0960129501003590zbMath1011.08009MaRDI QIDQ4792971

H. Peter Gumm, Tobias Schröder

Publication date: 2 June 2003

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

zbMATH Keywords

coalgebracategoryhomomorphism

Mathematics Subject Classification ID

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

Related Items (8)

Coequational logic for accessible functors ⋮ More existence theorems for recursion categories. ⋮ On coalgebra based on classes ⋮ On minimal coalgebras ⋮ From Grammars and Automata to Algebras and Coalgebras ⋮ Quantitative Kleene coalgebras ⋮ Languages and models for hybrid automata: a coalgebraic perspective ⋮ Saturated Kripke structures as Vietoris coalgebras

This page was built for publication: Coalgebras of bounded type