Abstract
In the theory of universal algebras homomorphisms are considered only between algebras of the same similarity type. Different from that, the notion of a weak homomorphism does not depend on a signature, but only on the clones of term operations generated by the examined algebras. We generalize this idea by defining weak homomorphisms between $F_1$- and $F_2$-algebras, where $F_1$ and $F_2$ denote not necessarily equal endofunctors of the category of sets. The aim is to prove useful properties of weak homomorphisms which correspond to some well-known results for usual homomorphisms.
Users
Please
log in to take part in the discussion (add own reviews or comments).