(Q864475)

English

functor

in category theory, a mapping between categories that preserves their structure (identity morphisms, composition of morphisms)

covariant functor
contravariant functor

In more languages

edit

Statements

0 references

0 references

0 references

discoverer or inventor

Samuel Eilenberg

point in time

1942

1 reference

stated in

History of Homological Algebra

Saunders Mac Lane

point in time

1942

1 reference

stated in

History of Homological Algebra

defining formula

{\begin{aligned}F(\operatorname {id} _{X})&=\operatorname {id} _{F(X)}\\F(f\circ g)&=Ff\circ Fg\end{aligned}}

0 references

in defining formula

F

symbol represents

functor

0 references

\operatorname {id}

symbol represents

identity function

0 references

f\circ g

symbol represents

function composition

0 references

maintained by WikiProject

WikiProject Mathematics

0 references

properties for this type

definition domain

instance of

Identifiers

Encyclopædia Britannica Online ID

topic/functor

subject named as

functor

0 references

Encyclopedia of Mathematics article ID

0 references

1 reference

28 October 2013

0 references

1 reference

9 July 2020

0 references

Microsoft Academic ID

156772000

0 references

nLab ID

functor

1 reference

imported from Wikimedia project

English Wikipedia

OmegaWiki Defined Meaning

0 references

1 reference

26 January 2022

https://docs.openalex.org/download-snapshot/snapshot-data-format

0 references

0 references

1 reference

ScienceDirect topic ID

0 references

funtore

0 references

(Q864475)

functor

Statements

Identifiers

Sitelinks

Wikipedia(26 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)