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 spaces, and algebraic homomorphisms are associated to continuous functions. Recently, functors are used to relate various categories.