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, full and/or faithful:
“Wherefore did Nature powre her bounties forth,
With such a full and unwithdrawing hand,
Covering the earth with odours, fruits, and flocks,
Thronging the Seas with spawn innumerable,
But all to please, and sate the curious taste?”
—John Milton (1608–1674)
“Language was not powerful enough to describe the infant phenomenon. “I’ll tell you what, sir,” he said; “the talent of this child is not to be imagined. She must be seen, sir—seen—to be ever so faintly appreciated.”... The infant phenomenon, though of short stature, had a comparatively aged countenance, and had moreover been precisely the same age—not perhaps to the full extent of the memory of the oldest inhabitant, but certainly for five good years.”
—Charles Dickens (1812–1870)
“Those who are faithful know only the trivial side of love: it is the faithless who know love’s tragedies.”
—Oscar Wilde (1854–1900)