functor

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.