No CrossRef data available.
Published online by Cambridge University Press: 18 May 2009
Let us recall the notions of full embedding and universality of categories we will be using throughout.
A full embedding is a functor F taking the objects of a source category A injectively to objects of a target category B and the hom-sets HomA(a, b) bijectively to the hom-sets HomR(F(a), F(b)). If A is a subcategory of B and the corresponding inclusion functor is a full embedding then A is said to be a full subcategory of B. In this case we have HomA(a, b) = HomB(a, b) for any a, b in A; that is to say, a full subcategory is completely determined, within a given category, by specifying the class of its objects. A category U is termed universal if an arbitrary category of algebras can be fully embedded in U.