Back to Search
Start Over
Rigidity of unary algebras and its application to the $${\mathcal {HS} = \mathcal {SH}}$$ problem.
- Source :
- Algebra Universalis; Feb2011, Vol. 65 Issue 1, p73-89, 17p, 2 Diagrams
- Publication Year :
- 2011
-
Abstract
- H. P. Gumm and T. Schröder stated a conjecture that the preservation of preimages by a functor T for which | T1| = 1 is equivalent to the satisfaction of the class equality $${{\mathcal {HS}}({\sf K}) = {\mathcal {SH}}({\sf K})}$$ for any class K of T-coalgebras. Although T. Brengos and V. Trnková gave a positive answer to this problem for a wide class of Set-endofunctors, they were unable to find the full solution. Using a construction of a rigid unary algebra we prove $${{\mathcal {HS}} \neq {\mathcal {SH}}}$$ for a class of Set-endofunctors not preserving non-empty preimages; these functors have not been considered previously. [ABSTRACT FROM AUTHOR]
- Subjects :
- MATHEMATICAL functions
EQUATIONS
FUNCTOR theory
MATHEMATICAL analysis
ALGEBRA
Subjects
Details
- Language :
- English
- ISSN :
- 00025240
- Volume :
- 65
- Issue :
- 1
- Database :
- Complementary Index
- Journal :
- Algebra Universalis
- Publication Type :
- Academic Journal
- Accession number :
- 59596877
- Full Text :
- https://doi.org/10.1007/s00012-011-0118-3