Testing Categories and Strong Universality
Jiří Sichler · Canadian Journal of Mathematics · 1973
A category A is binding (or universal) if any full category of algebras is isomorphic to a full subcategory of A. There are many binding categories: the category of all commutative rings with unit and all unit-preserving homomorphisms [1], the category of bounded lattices [2], the category of semigroups [3], the category A(1, 1) of all algebras with two unary fundamental operations and the category of directed graphs [4], the category of all commutative groupoids [11] and many others.