Full And Faithful Functors
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 that have 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
for every pair of objects X and Y in C. The functor F is said to be
- faithful if FX,Y is injective
- full if FX,Y is surjective
- fully faithful if FX,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 (which is why the range of a full and faithful functor is not necessarily isomorphic to C), and two morphisms f : X → Y and f′ : X′ → Y′ (with different domains/codomains) 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.
Read more about Full And Faithful Functors: Examples
Famous quotes containing the words full and/or faithful:
“Nothing in the world can take the place of Persistence. Talent will not; nothing is more common than unsuccessful men with talent. Genius will not; unrewarded genius is almost a proverb. Education will not; the world is full of educated derelicts. Persistence and Determination alone are omnipotent. The slogan “Press On”, has solved and will always solve the problems of the human race.”
—Calvin Coolidge (1872–1933)
“A man’s memory is bound to be a distortion of his past in accordance with his present interests, and the most faithful autobiography is likely to mirror less what a man was than what he has become.”
—Fawn M. Brodie (1915–1981)