Imbedding of categories
From Encyclopedia of Mathematics
A covariant functor $F$ from a category $C$ into a category $C_1$ which is injective on the class of morphisms of $C$.
Comments
Equivalently, an imbedding is a faithful functor which is injective on objects. Some authors use the term "imbedding" as a synonym for "faithful functor" .
How to Cite This Entry:
Imbedding of categories. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Imbedding_of_categories&oldid=12847
Imbedding of categories. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Imbedding_of_categories&oldid=12847