Imbedding of categories
From Encyclopedia of Mathematics
A covariant functor 
from a category 
into a category 
which is injective on the class of morphisms of 
.
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=32460
Imbedding of categories. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Imbedding_of_categories&oldid=32460