Rigidity of unary algebras and its application to the HS = SH problem

DOI10.1007/S00012-011-0118-3MaRDI QIDQ535113zbMATH OpenOpenAlexFDO

Authors Tomasz Brengos

Publication date 11 May 2011

Published in Algebra Universalis (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

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

zbMATH Keywords

coalgebrafunctorcoalgebraic logicpreimage preservation

Mathematics Subject Classification ID

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

Recommendations

• The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras
• Large rigid sets of algebras with respect to embeddability
• Homomorphisms of unary algebras with a given quotient
• scientific article; zbMATH DE number 4077306
• On some results and unsolved problems of the theory of unary algebras

Cites work

• scientific article; zbMATH DE number 1665324 (Why is no real title available?)
• scientific article; zbMATH DE number 3650785 (Why is no real title available?)
• scientific article; zbMATH DE number 3291978 (Why is no real title available?)
• scientific article; zbMATH DE number 3367098 (Why is no real title available?)
• Algebra and Coalgebra in Computer Science
• The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras
• Types and coalgebraic structure

Cited in

(1)

• The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q535113)