# functor (Q864475)

| Property ID | Property | Value | Value entity | Amount | Unit | Date / from | Until | Rank | Sources |
| --- | --- | --- | --- | ---: | --- | --- | --- | --- | --- |
| P279 | Subclass of | semifunctor | Q141066018 |  |  |  |  | normal |  |
| P61 | Discovered by | Samuel Eilenberg | Q535833 |  |  | 1942-00-00 |  | normal | History of Homological Algebra |
| P61 | Discovered by | Saunders Mac Lane | Q441223 |  |  | 1942-00-00 |  | normal | History of Homological Algebra |
| P361 | Part of | category theory | Q217413 |  |  |  |  | normal |  |
| P2579 | Studied by | category theory | Q217413 |  |  |  |  | normal |  |
| P1963 | Properties for this type | definition domain | P1568 |  |  |  |  | normal |  |
| P1963 | Properties for this type | codomain | P1571 |  |  |  |  | normal |  |
| P1889 | Different from | function object | Q2072111 |  |  |  |  | normal |  |
| P2534 | Defining formula | \begin{aligned}F(\operatorname{id}_X)&=\operatorname{id}_{F(X)}\\F(f\circ g)&=Ff\circ Fg\end{aligned} |  |  |  |  |  | normal |  |
| P7235 | In defining formula | F |  |  |  |  |  | normal |  |
| P7235 | In defining formula | \operatorname{id} |  |  |  |  |  | normal |  |
| P7235 | In defining formula | f\circ g |  |  |  |  |  | normal |  |
| P1417 | Encyclopædia Britannica Online ID | topic/functor |  |  |  |  |  | normal | https://www.britannica.com/topic/functor |
| P7554 | Encyclopedia of Mathematics article ID | Functor |  |  |  |  |  | normal | https://encyclopediaofmath.org/wiki/Functor |
| P646 | Freebase ID | /m/02yzn |  |  |  |  |  | normal | https://www.google.com/search?kgmid=/m/02yzn |
| P3827 | JSTOR topic ID (archived) | functors |  |  |  |  |  | normal | https://web.archive.org/web/*/https://www.jstor.org/topic/functors |
| P8408 | KBpedia ID | Functor |  |  |  |  |  | normal | https://kbpedia.org/knowledge-graph/reference-concept/?uri=Functor |
| P14534 | Mathlib Declaration ID | CategoryTheory.Functor |  |  |  |  |  | normal | https://leanprover-community.github.io/mathlib4_docs/find/?pattern=CategoryTheory.Functor#doc |
| P2812 | MathWorld ID | Functor |  |  |  |  |  | normal | https://mathworld.wolfram.com/Functor.html |
| P12888 | Metamath statement ID | df-func |  |  |  |  |  | normal | https://us.metamath.org/mpeuni/df-func.html |
| P6366 | Microsoft Academic ID (discontinued) | 156772000 |  |  |  |  |  | normal | https://web.archive.org/web/https://academic.microsoft.com/v2/detail/156772000 |
| P4215 | NLab ID | functor |  |  |  |  |  | normal | https://ncatlab.org/nlab/show/functor |
| P1245 | OmegaWiki Defined Meaning | 955376 |  |  |  |  |  | normal | http://www.omegawiki.org/DefinedMeaning:(955376) |
| P10283 | OpenAlex ID | C156772000 |  |  |  |  |  | normal | https://openalex.org/C156772000 |
| P6781 | ProofWiki ID | Definition:Functor |  |  |  |  |  | normal | https://proofwiki.org/wiki/Definition%3AFunctor |
| P1051 | PSH ID | 7364 |  |  |  |  |  | normal | https://psh.techlib.cz/skos/PSH7364 |
| P3417 | Quora topic ID | Functor-1 |  |  |  |  |  | normal | https://www.quora.com/topic/Functor-1 |
| P10376 | ScienceDirect topic ID | mathematics/functor |  |  |  |  |  | normal | https://www.sciencedirect.com/topics/mathematics/functor |
| P3365 | Treccani ID | funtore |  |  |  |  |  | normal | https://www.treccani.it/enciclopedia/funtore |

Source: https://aidb.si/e/functor-Q864475 — Wikidata (CC0) via AIDB