Un funtor F entre les categories ℒi ℛconsisteix en una regla que assigna a cada objecte A de la categoria ℒun objecte F(A) de la categoria ℛ, i a cada morfisme f∈Hom (X,Y), on X,Y són objectes de ℒ, li assigna un morfisme F(f)∈Hom(F(X),F(Y)) de tal manera que F(idX)=idf ( X ) i F(f₀g)=F(f)₀F functor covariant) o F(f₀g)=F(g)₀F).
m
Matemàtiques