Abstract
H. P. Gumm and T. Schroder 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. Trnkova 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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.