Functorial

cosmos 15th October 2017 at 1:45pm
Functor

A map (is this always used for Functors?) is called functorial if it satisfies the conditions:

F(gf)=FgFgF(g \circ f) = Fg \circ Fg,
FidA=idFAF id_A = id_{FA}

which are required for the arrow-map of a Functor (mapping between arrows of two Categoryes)