functor
Sign in to saveAlso known as covariant functor, contravariant functor
In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, and maps between these algebraic objects are associated to continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in every area of mathematics where category theory is applied.
Wikidata facts
- Image
- Commutative diagram of a functor.svg
Show 1 more fact
- Commons category
- Functors
Sources (2)
via Wikidata · CC0
~16 min read
Article
12 sectionsContents
- Definition
- Covariance and contravariance
- Opposite functor
- Bifunctors and multifunctors
- Properties
- Examples
- Relation to other categorical concepts
- Computer implementations
- See also
- Notes
- References
- External links
In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, and maps between these algebraic objects are associated to continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in every area of mathematics where category theory is applied.
The words category and functor were borrowed by mathematicians from the philosophers Aristotle and Rudolf Carnap, respectively. The latter used functor in a linguistic context; see function word.