Techreport,

Weak Homomorphisms between Functorial Algebras

.
MATH-AL-03-2009. TU Dresden, (December 2009)

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.

Tags

Users

  • @algebradresden

Comments and Reviews