In [[category theory]], a '''functor''' is a [[morphism]] between categories.
In [[category theory]], a '''functor''' is a [[morphism]] between categories.
−
Functors were first proposed in [[algebraic topology]], where algebraic objects such as the [[fundamental group]] are associated to [[topological space]]s, and algebraic [[homomorphism]]s are associated to continuous functions. Recently, functors are used to relate various categories.
+
Functors were first proposed in [[algebraic topology]], where algebraic objects such as the [[fundamental group]] are associated to [[topological space]]s, and algebraic [[homomorphism]]s are associated to continuous functions. Functors are now used to relate various categories.