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. Recently, functors are used to relate various categories. |