PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: High
full functor (Definition)

A functor $T:\mathcal{C}\to\mathcal{D}$ is full if the arrow function of $T$ is surjective for every pair of objects in $\mathcal{C}$ More precisely, for every pair $C_1, C_2\in \operatorname{Ob}(\mathcal{C})$ the arrow function $T_{(C_1,C_2)}$ of $T:$ $$T_{(C_1,C_2)}:\operatorname{hom_{\mathcal{C}}}(C_1,C_2)\to\operatorname{hom_{\mathcal{D}}}(T(C_1),T(C_2))$$ given by $T_{(C_1,C_2)}(f)=T(f)$ is a surjection.




"full functor" is owned by CWoo.
(view preamble | get metadata)

View style:

See Also: faithful functor

Log in to rate this entry.
(view current ratings)

Cross-references: surjection, objects, surjective, functor
There are 5 references to this entry.

This is version 1 of full functor, born on 2004-05-11.
Object id is 5848, canonical name is FullFunctor.
Accessed 2860 times total.

Classification:
AMS MSC18A22 (Category theory; homological algebra :: General theory of categories and functors :: Special properties of functors )

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)