FULL AND FAITHFUL FUNCTORS

(Redirected from Faithful functor)
In category theory, a 'faithful functor' (resp. a 'full functor') is a functor which is injective (resp. surjective) when restricted to each set of morphisms with a given source and target.
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
:$F\_\{X,Y\}colonmathrm\{Hom\}\_\{mathcal\; C\}(X,Y)$
ightarrowmathrm{Hom}_{mathcal D}(F(X),F(Y))
for every pair of objects ''X'' and ''Y'' in ''C''. The functor ''F'' is said to be

★ 'faithful' if ''F''_''X'',''Y'' is injective

★ 'full' if ''F''_''X'',''Y'' is surjective

★ 'fully faithful' if ''F''_''X'',''Y'' is bijective
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''.

Contents

Examples

See also

Examples

★ The forgetful functor ''U'' : 'Grp' → 'Set' is faithful but neither injective on objects nor on morphisms. This functor is not full as there are functions between groups which are not group homomorphisms. More generally, for any concrete category the forgetful functor to 'Set' is faithful (but usually not full).

★ Let ''F'' : ''C'' → 'Set' be the functor which maps every object in ''C'' to the empty set and every morphism to the empty function. Then ''F'' is full, but neither surjective on objects nor on morphisms.

★ The forgetful functor 'Ab' → 'Grp' is fully faithful. However, it is neither surjective on objects nor on morphisms.

See also

★ full subcategory

★ equivalence of categories