| Faithful Functor |
Website Links For Full |
Information AboutFaithful Functor |
| CATEGORIES ABOUT FULL AND FAITHFUL FUNCTORS | |
| functors | |
|
Explicitly, let ''C'' and ''D'' be ( Locally Small ) Categories and let ''F'' : ''C'' → ''D'' be a functor from ''C'' to ''D''. The functor ''F'' induces a function : for every pair of objects ''X'' and ''Y'' in ''C''. The functor ''F'' is said to be
for each ''X'' and ''Y'' in ''C''. A faithful functor need not be injective on objects or morphisms. That is, two objects ''X'' and ''X''′ may map to the same object in ''D'', and two morphisms ''f'' : ''X'' → ''Y'' and ''f''′ : ''X''′ → ''Y''′ may map to the same morphism in ''D''. Likewise, a full functor need not be surjective on objects or morphisms. There may be objects in ''D'' not of the form ''FX'' for some ''X'' in ''C''. Morphisms between such objects clearly cannot come from morphisms in ''C''. EXAMPLES
SEE ALSO |
|
|