"functor" (Contén)

Morfismo entre categorías. Un functor F entre as categorías e] consiste nunha regra que lle asigna a cada obxecto A da categoría un obxecto F(A) de categoría], e a cada morfismo f Symbol >∈ Hom(X,Y), onde X,Y son obxectos de , asígnalle un morfismo F(f) Symbol >∈ Hom(F(X),F(Y)) de tal maneira que F(id<J>X</J>)=idf(X) e F(f|g)=F(f)|F(g) ou F(f |g)=F(g)|F (f); no primeiro caso F é un functor covariante e no segundo F é un functor contravariante.

Aplícase a unha propiedade ou a un procedemento que permite definir un functor.

Propiedade de ser functorial.

Que está feito sen coidado.