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

DOI10.1007/S00012-011-0118-3zbMath1221.08004OpenAlexW2023386710MaRDI 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

coalgebrafunctorcoalgebraic logicpreimage preservation

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Categorical logic, topoi (03G30) Special properties of functors (faithful, full, etc.) (18A22) Unary algebras (08A60) Categories of sets, characterizations (18B05)

Cites Work

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

This page was built for publication: Rigidity of unary algebras and its application to the \({\mathcal {HS} = \mathcal {SH}}\) problem