Charles Explorer logo
🇬🇧

The HS=SH problem for coalgebras

Publication at Faculty of Mathematics and Physics |
2010

Abstract

H. Gumm and T.

Schröder stated a hypothesis that the preservation of preimages by a functor T is equivalent to the satisfaction of the class equality HS(K)=SH(K) for any class K of T-coalgebras. The paper gives a positive answer to this problem for a wide class of Set-endofunctors.