# All Science Fair Projects

## Science Fair Project Encyclopedia for Schools!

 Search    Browse    Forum  Coach    Links    Editor    Help    Tell-a-Friend    Encyclopedia    Dictionary

# Science Fair Project Encyclopedia

For information on any area of science that interests you,
enter a keyword (eg. scientific method, molecule, cloud, carbohydrate etc.).
Or else, you can start by choosing any of the categories below.

# Faithful functor

In category theory, a faithful functor is a functor which is injective when restricted to each set of morphisms with a given source and target.

In other words, a functor F : CD is faithful if the maps

$F_{X,Y}:\mathrm{Mor}_{\mathcal C}(X,Y)\rightarrow\mathrm{Mor}_{\mathcal D}(FX,FY)$

are injective for every pair of objects X and Y in C.

Note that 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 : XY and f′ : X′ → Y′ may map to the same morphism in D.

For example, the forgetful functor U : GrpSet is faithful but neither injective on objects or morphisms.