Functor

From Conservapedia
This is an old revision of this page, as edited by Pixologic (Talk | contribs) at 21:45, March 14, 2007. It may differ significantly from current revision.

Jump to: navigation, search

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.