To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time. 4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds Full and faithful functors

In category theory, a faithful functor (respectively a full functor) is a functor that is injective (respectively surjective) on hom-sets.

Formal definitions

Explicitly, let C and D be (locally small) categories and let F : CD be a functor from C to D. The functor F induces a function

$F_{X,Y}\colon \mathrm {Hom} _{\mathcal {C}}(X,Y)\rightarrow \mathrm {Hom} _{\mathcal {D}}(F(X),F(Y))$ for every pair of objects X and Y in C. The functor F is said to be

for each X and Y in C.

Properties

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 : XY 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.

A full and faithful functor is necessarily injective on objects up to isomorphism. That is, if F : CD is a full and faithful functor and $F(X)\cong F(Y)$ then $X\cong Y$ .

Examples

• The forgetful functor U : GrpSet is faithful as two group homomorphisms with the same domains and codomains are equal if they are given by the same functions on the underlying sets. This functor is not full as there are functions between the underlying sets of groups that are not group homomorphisms. A category with a faithful functor to Set is (by definition) a concrete category; in general, that forgetful functor is not full.
• The inclusion functor AbGrp is fully faithful, since Ab is by definition the full subcategory of Grp induced by the abelian groups.

Generalization to (∞, 1)-categories

The notion of a functor being 'full' or 'faithful' does not translate to the notion of a (∞, 1)-category. In an (∞, 1)-category, the maps between any two objects are given by a space only up to homotopy. Since the notion of injection and surjection are not homotopy invariant notions (consider an interval embedding into the real numbers vs. an interval mapping to a point), we do not have the notion of a functor being "full" or "faithful." However, we can define a functor of quasi-categories to be fully faithful if for every X and Y in C, the map $F_{X,Y}$ is a weak equivalence.