Namespaces
Variants
Actions

Imbedding of categories

From Encyclopedia of Mathematics
Revision as of 14:16, 17 July 2014 by Ivan (talk | contribs) (TeX)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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