Rigidity of unary algebras and its application to the \({\mathcal {HS} = \mathcal {SH}}\) problem

DOI10.1007/s00012-011-0118-3zbMath1221.08004MaRDI QIDQ535113

Tomasz Brengos

Publication date: 11 May 2011

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-011-0118-3

zbMATH Keywords

coalgebra; functor; coalgebraic logic; preimage preservation

Mathematics Subject Classification ID

08A70: Applications of universal algebra in computer science

03G30: Categorical logic, topoi

18A22: Special properties of functors (faithful, full, etc.)

08A60: Unary algebras

18B05: Categories of sets, characterizations

Cites Work

• The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras
• Types and coalgebraic structure
• Algebra and Coalgebra in Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item