Types and coalgebraic structure
From MaRDI portal
Publication:2577729
DOI10.1007/s00012-005-1888-2zbMath1086.08002MaRDI QIDQ2577729
H. Peter Gumm, Tobias Schröder
Publication date: 6 January 2006
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-005-1888-2
08A70: Applications of universal algebra in computer science
68Q65: Abstract data types; algebraic specification
18A35: Categories admitting limits (complete categories), functors preserving limits, completions
18B20: Categories of machines, automata
Related Items
Rigidity of unary algebras and its application to the \({\mathcal {HS} = \mathcal {SH}}\) problem, Algebraic lattices and locally finitely presentable categories, On universal categories of coalgebras, The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras, Subsequential transducers: a coalgebraic perspective, On minimal coalgebras, Copower functors, Terminal Sequence Induction via Games