View source for Functor

{{short description|Mapping between categories}}
{{About|the mathematical concept}}
{{Redirect|Functoriality|the Langlands functoriality conjecture in number theory|Langlands program#Functoriality}}

In [[mathematics]], specifically [[category theory]], a '''functor''' is a [[Map (mathematics)|mapping]] between [[Category (mathematics)|categories]].  Functors were first considered in [[algebraic topology]], where algebraic objects (such as the [[fundamental group]]) are associated to [[topological space]]s, and maps between these algebraic objects are associated to [[continuous function|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.<ref>{{citation|first1=Saunders|last1=Mac Lane|author-link1=Saunders Mac Lane|title=Categories for the Working Mathematician|publisher=Springer-Verlag|location=New York|year=1971|isbn=978-3-540-90035-1|page=30}}</ref>  The latter used ''functor'' in a [[Linguistics|linguistic]] context;<ref>[[Rudolf Carnap|Carnap, Rudolf]] (1937). ''The Logical Syntax of Language'', Routledge & Kegan, pp.&nbsp;13–14.</ref>
see [[function word]].

== Definition ==

[[File:Commutative_diagram_for_morphism.svg|thumb|A category with objects X, Y, Z and morphisms f, g, g ∘ f]]
[[File:Commutative_diagram_of_a_functor.svg|thumb|Functor <math>F</math> must preserve the composition of morphisms <math>g</math> and <math>f</math>]]
Let ''C'' and ''D'' be [[category (mathematics)|categories]]. A '''functor''' ''F'' from ''C'' to ''D'' is a mapping that:{{sfnp|Jacobson|2009|loc=p. 19, def. 1.2}}
* associates each [[Mathematical object|object]] <math>X</math> in ''C'' to an object <math>F(X)</math> in ''D'',
* associates each [[morphism]] <math>f \colon X \to Y</math> in ''C'' to a morphism <math>F(f) \colon F(X) \to F(Y)</math> in ''D'' such that the following two conditions hold:
** <math>F(\mathrm{id}_{X}) = \mathrm{id}_{F(X)}\,\!</math> for every object <math>X</math> in ''C'',
** <math>F(g \circ f) = F(g) \circ F(f)</math> for all morphisms <math>f \colon X \to Y\,\!</math> and <math>g \colon Y\to Z</math> in ''C''.

That is, functors must preserve [[Morphism#Definition|identity morphisms]] and [[Function composition|composition]] of morphisms.

=== Covariance and contravariance ===
{{See also|Covariance and contravariance (computer science)}}
There are many constructions in mathematics that would be functors but for the fact that they "turn morphisms around" and "reverse composition". We then define a '''contravariant functor''' ''F'' from ''C'' to ''D'' as a mapping that
*associates each object <math>X</math> in ''C'' with an object <math>F(X)</math> in ''D'',
*associates each morphism <math>f \colon X\to Y</math> in ''C'' with a morphism <math>F(f) \colon F(Y) \to F(X)</math> in ''D'' such that the following two conditions hold:
**<math>F(\mathrm{id}_X) = \mathrm{id}_{F(X)}\,\!</math> for every object <math>X</math> in ''C'',
**<math>F(g \circ f) = F(f) \circ F(g)</math> for all morphisms <math>f \colon X\to Y</math> and <math>g \colon Y\to Z</math> in ''C''.

Variance of functor (composite){{sfnp|Simmons|2011|loc=Exercise 3.1.4}}
*The composite of two functors of the same variance:
**<math>\mathrm{Covariant}  \circ \mathrm{Covariant} \to \mathrm{Covariant}</math>
**<math>\mathrm{Contravariant}  \circ \mathrm{Contravariant} \to \mathrm{Covariant}</math>
*The composite of two functors of opposite variance:
**<math>\mathrm{Covariant}  \circ \mathrm{Contravariant} \to \mathrm{Contravariant}</math>
**<math>\mathrm{Contravariant}  \circ \mathrm{Covariant} \to \mathrm{Contravariant}</math>

Note that contravariant functors reverse the direction of composition.

Ordinary functors are also called '''covariant functors''' in order to distinguish them from contravariant ones. Note that one can also define a contravariant functor as a ''covariant'' functor on the [[opposite category]] <math>C^\mathrm{op}</math>.{{sfnp|Jacobson|2009|pp=19–20}} Some authors prefer to write all expressions covariantly. That is, instead of saying <math>F \colon  C\to D</math> is a contravariant functor, they simply write <math>F \colon C^{\mathrm{op}} \to D</math> (or sometimes <math>F \colon C \to D^{\mathrm{op}}</math>) and call it a functor.

Contravariant functors are also occasionally called ''cofunctors''.<ref name="Popescu1979">{{cite book|last1=Popescu|first1=Nicolae|last2=Popescu|first2=Liliana|title=Theory of categories|date=1979|publisher=Springer|location=Dordrecht|isbn=9789400995505|page=12|url=https://books.google.com/books?id=YnHwCAAAQBAJ&q=cofunctor+covariant&pg=PA12|access-date=23 April 2016}}</ref>

There is a convention which refers to "vectors"—i.e., [[vector field]]s, elements of the space of sections <math>\Gamma(TM)</math> of a [[tangent bundle]] <math>TM</math>—as "contravariant" and to "covectors"—i.e., [[1-forms]], elements of the space of sections <math>\Gamma\mathord\left(T^*M\right)</math> of a [[cotangent bundle]] <math>T^*M</math>—as "covariant". This terminology originates in physics, and its rationale has to do with the position of the indices ("upstairs" and "downstairs") in [[Einstein summation|expressions]] such as <math>{x'}^{\,i} = \Lambda^i_j x^j</math> for <math>\mathbf{x}' = \boldsymbol{\Lambda}\mathbf{x}</math> or <math>\omega'_i = \Lambda^j_i \omega_j</math> for <math>\boldsymbol{\omega}' = \boldsymbol{\omega}\boldsymbol{\Lambda}^\textsf{T}.</math> In this formalism it is observed that the coordinate transformation symbol <math>\Lambda^j_i</math> (representing the matrix <math>\boldsymbol{\Lambda}^\textsf{T}</math>) acts on the "covector coordinates" "in the same way" as on the basis vectors: <math>\mathbf{e}_i = \Lambda^j_i\mathbf{e}_j</math>—whereas it acts "in the opposite way" on the "vector coordinates" (but "in the same way" as on the basis covectors: <math>\mathbf{e}^i = \Lambda^i_j \mathbf{e}^j</math>). This terminology is contrary to the one used in category theory because it is the covectors that have ''pullbacks'' in general and are thus ''contravariant'', whereas vectors in general are ''covariant'' since they can be ''pushed forward''. See also [[Covariance and contravariance of vectors]].

=== Opposite functor ===
Every functor <math>F \colon  C\to D</math> induces the '''opposite functor''' <math>F^\mathrm{op} \colon  C^\mathrm{op}\to D^\mathrm{op}</math>, where <math>C^\mathrm{op}</math> and <math>D^\mathrm{op}</math> are the [[opposite category|opposite categories]] to <math>C</math> and <math>D</math>.<ref>{{citation|first1=Saunders|last1=Mac Lane|author-link1=Saunders Mac Lane|first2=Ieke|last2=Moerdijk|author-link2=Ieke Moerdijk|title=Sheaves in geometry and logic: a first introduction to topos theory|publisher=Springer|year=1992|isbn=978-0-387-97710-2}}</ref> By definition, <math>F^\mathrm{op}</math> maps objects and morphisms in the identical way as does <math>F</math>. Since <math>C^\mathrm{op}</math> does not coincide with <math>C</math> as a category, and similarly for <math>D</math>, <math>F^\mathrm{op}</math> is distinguished from <math>F</math>. For example, when composing <math>F \colon  C_0\to C_1</math> with <math>G \colon  C_1^\mathrm{op}\to C_2</math>, one should use either <math>G\circ F^\mathrm{op}</math> or <math>G^\mathrm{op}\circ F</math>. Note that, following the property of [[opposite category]], <math>\left(F^\mathrm{op}\right)^\mathrm{op} = F</math>.

=== Bifunctors and multifunctors ===
A '''bifunctor''' (also known as a '''binary functor''') is a functor whose domain is a [[product category]]. For example, the [[Hom functor]] is of the type {{nowrap|''C<sup>op</sup>'' × ''C'' → '''Set'''}}. It can be seen as a functor in ''two'' arguments; it is contravariant in one argument, covariant in the other.

A '''multifunctor''' is a generalization of the functor concept to ''n'' variables. So, for example, a bifunctor is a multifunctor with {{nowrap|1=''n'' = 2}}.

== Properties ==
Two important consequences of the functor [[axiom]]s are:
* ''F'' transforms each [[commutative diagram]] in ''C'' into a commutative diagram in ''D'';
* if ''f'' is an [[isomorphism]] in ''C'', then ''F''(''f'') is an isomorphism in ''D''.

One can compose functors, i.e. if ''F'' is a functor from ''A'' to ''B'' and ''G'' is a functor from ''B'' to ''C'' then one can form the composite functor {{nowrap|''G'' ∘ ''F''}} from ''A'' to ''C''. Composition of functors is associative where defined. Identity of composition of functors is the identity functor. This shows that functors can be considered as morphisms in categories of categories, for example in the [[category of small categories]].

A small category with a single object is the same thing as a [[monoid]]: the morphisms of a one-object category can be thought of as elements of the monoid, and composition in the category is thought of as the monoid operation. Functors between one-object categories correspond to monoid [[homomorphism]]s. So in a sense, functors between arbitrary categories are a kind of generalization of monoid homomorphisms to categories with more than one object.

== Examples ==
; [[Diagram (category theory)|Diagram]]: For categories ''C'' and ''J'', a diagram of type ''J'' in ''C'' is a covariant functor <math>D \colon J\to C</math>.
; [[Presheaf (category theory)|(Category theoretical) presheaf]]:For categories ''C'' and ''J'', a ''J''-presheaf on ''C'' is a contravariant functor <math>D \colon C\to J</math>.{{paragraph}}In the special case when ''J'' is '''Set''', the category of sets and functions, ''D'' is called a [[Presheaf (category theory)|presheaf]] on ''C''.
; Presheaves (over a topological space): If ''X'' is a [[topological space]], then the [[open set]]s in ''X'' form a [[partially ordered set]] Open(''X'') under inclusion. Like every partially ordered set, Open(''X'') forms a small category by adding a single arrow {{nowrap|''U'' → ''V''}} if and only if <math>U \subseteq V</math>. Contravariant functors on Open(''X'') are called ''[[presheaf|presheaves]]'' on ''X''. For instance, by assigning to every open set ''U'' the [[associative algebra]] of real-valued continuous functions on ''U'', one obtains a presheaf of algebras on ''X''.
; Constant functor: The functor {{nowrap|''C'' → ''D''}} which maps every object of ''C'' to a fixed object ''X'' in ''D'' and every morphism in ''C'' to the identity morphism on ''X''. Such a functor is called a ''constant'' or ''selection'' functor.
; {{term|term=Endofunctor}}{{anchor|name=Endofunctor}}: A functor that maps a category to that same category; e.g., [[polynomial functor]].
; {{term|term=Identity functor}}: In category ''C'', written 1<sub>''C''</sub> or id<sub>''C''</sub>, maps an object to itself and a morphism to itself. The identity functor is an endofunctor.
; Diagonal functor: The [[diagonal functor]] is defined as the functor from ''D'' to the functor category ''D''<sup>''C''</sup> which sends each object in ''D'' to the constant functor at that object.
; Limit functor: For a fixed [[index category]] ''J'', if every functor {{nowrap|''J'' → ''C''}} has a [[limit (category theory)|limit]] (for instance if ''C'' is complete), then the limit functor {{nowrap|''C''<sup>''J''</sup> → ''C''}} assigns to each functor its limit. The existence of this functor can be proved by realizing that it is the [[Adjoint functors|right-adjoint]] to the [[diagonal functor]] and invoking the [[Freyd adjoint functor theorem]]. This requires a suitable version of the [[axiom of choice]]. Similar remarks apply to the colimit functor (which assigns to every functor its colimit, and is covariant).
; Power sets functor: The power set functor {{nowrap|''P'' : '''Set''' → '''Set'''}} maps each set to its [[power set]] and each function <math> f \colon X \to Y</math> to the map which sends <math>U \in \mathcal{P}(X)</math> to its image <math>f(U) \in \mathcal{P}(Y)</math>. One can also consider the '''contravariant power set functor''' which sends <math> f \colon X \to Y </math> to the map which sends <math>V \subseteq Y</math> to its [[inverse image]] <math>f^{-1}(V) \subseteq X.</math>{{paragraph}} For example, if <math>X = \{0,1\}</math> then <math>F(X) = \mathcal{P}(X) = \{\{\}, \{0\}, \{1\}, X\}</math>. Suppose <math>f(0) = \{\}</math> and <math>f(1) = X</math>. Then <math>F(f)</math> is the function which sends any subset <math>U</math> of <math>X</math> to its image <math>f(U)</math>, which in this case means <math>\{\} \mapsto f(\{\}) = \{\}</math>, where <math>\mapsto</math> denotes the mapping under <math>F(f)</math>, so this could also be written as <math>(F(f))(\{\})= \{\}</math>. For the other values,<math>
    \{0\} \mapsto f(\{0\})   = \{f(0)\}       = \{\{\}\},\ </math> <math>
    \{1\} \mapsto f(\{1\})   = \{f(1)\}       = \{X\},\ </math> <math>
  \{0,1\} \mapsto f(\{0,1\}) = \{f(0), f(1)\} = \{\{\}, X\}.
</math> Note that <math>f(\{0, 1\})</math> consequently generates the [[trivial topology]] on <math>X</math>. Also note that although the function <math>f</math> in this example mapped to the power set of <math>X</math>, that need not be the case in general.
; {{visible anchor|Dual vector space}}: The map which assigns to every [[vector space]] its [[dual space]] and to every [[linear operator|linear map]] its dual or transpose is a contravariant functor from the category of all vector spaces over a fixed [[field (mathematics)|field]] to itself.
; Fundamental group: Consider the category of [[pointed topological space]]s, i.e. topological spaces with distinguished points. The objects are pairs {{nowrap|(''X'', ''x''<sub>0</sub>)}}, where ''X'' is a topological space and ''x''<sub>0</sub> is a point in ''X''. A morphism from {{nowrap|(''X'', ''x''<sub>0</sub>)}} to {{nowrap|(''Y'', ''y''<sub>0</sub>)}} is given by a [[continuous function (topology)|continuous]] map {{nowrap|''f'' : ''X'' → ''Y''}} with {{nowrap|1=''f''(''x''<sub>0</sub>) = ''y''<sub>0</sub>}}.{{paragraph}} To every topological space ''X'' with distinguished point ''x''<sub>0</sub>, one can define the [[fundamental group]] based at ''x''<sub>0</sub>, denoted {{nowrap|π<sub>1</sub>(''X'', ''x''<sub>0</sub>)}}. This is the [[group (mathematics)|group]] of [[homotopy]] classes of loops based at ''x''<sub>0</sub>, with the group operation of concatenation. If {{nowrap|''f'' : ''X'' → ''Y''}} is a morphism of [[pointed space]]s, then every loop in ''X'' with base point ''x''<sub>0</sub> can be composed with ''f'' to yield a loop in ''Y'' with base point ''y''<sub>0</sub>. This operation is compatible with the homotopy [[equivalence relation]] and the composition of loops, and we get a [[group homomorphism]] from {{nowrap|π(''X'', ''x''<sub>0</sub>)}} to {{nowrap|π(''Y'', ''y''<sub>0</sub>)}}. We thus obtain a functor from the category of pointed topological spaces to the [[category of groups]].{{paragraph}} In the category of topological spaces (without distinguished point), one considers homotopy classes of generic curves, but they cannot be composed unless they share an endpoint. Thus one has the '''fundamental [[groupoid]]''' instead of the fundamental group, and this construction is functorial.
; Algebra of continuous functions: A contravariant functor from the category of [[topology|topological spaces]] (with continuous maps as morphisms) to the category of real [[associative algebra]]s is given by assigning to every topological space ''X'' the algebra C(''X'') of all real-valued continuous functions on that space. Every continuous map {{nowrap|''f'' : ''X'' → ''Y''}} induces an [[algebra homomorphism]] {{nowrap|C(''f'') : C(''Y'') → C(''X'')}} by the rule {{nowrap|1=C(''f'')(''φ'') = ''φ'' ∘ ''f''}} for every ''φ'' in C(''Y'').
; Tangent and cotangent bundles: The map which sends every [[differentiable manifold]] to its [[tangent bundle]] and every [[smooth map]] to its [[derivative]] is a covariant functor from the category of differentiable manifolds to the category of [[vector bundle]]s. {{paragraph}}Doing this constructions pointwise gives the [[tangent space]], a covariant functor from the category of pointed differentiable manifolds to the category of real vector spaces. Likewise, [[cotangent space]] is a contravariant functor, essentially the composition of the tangent space with the [[#Dual vector space|dual space]] above.
; Group actions/representations: Every [[group (mathematics)|group]] ''G'' can be considered as a category with a single object whose morphisms are the elements of ''G''. A functor from ''G'' to '''Set''' is then nothing but a [[Group action (mathematics)|group action]] of ''G'' on a particular set, i.e. a ''G''-set. Likewise, a functor from ''G'' to the [[category of vector spaces]], '''Vect'''<sub>''K''</sub>, is a [[linear representation]] of ''G''. In general, a functor {{nowrap|''G'' → ''C''}} can be considered as an "action" of ''G'' on an object in the category ''C''. If ''C'' is a group, then this action is a group homomorphism.
; Lie algebras: Assigning to every real (complex) [[Lie group]] its real (complex) [[Lie algebra]] defines a functor.
; Tensor products: If ''C'' denotes the category of vector spaces over a fixed field, with [[linear operator|linear maps]] as morphisms, then the [[tensor product]] <math>V \otimes W</math> defines a functor {{nowrap|''C'' × ''C'' → ''C''}} which is covariant in both arguments.<ref>{{citation|first1=Michiel|last1=Hazewinkel|author-link1=Michiel Hazewinkel|first2=Nadezhda Mikhaĭlovna|last2=Gubareni|author-link2=Nadezhda Mikhaĭlovna|first3=Nadiya|last3=Gubareni|author-link3=Nadiya Gubareni|first4=Vladimir V.|last4=Kirichenko|author-link4=Vladimir V. Kirichenko|title=Algebras, rings and modules|publisher=Springer|year=2004|isbn=978-1-4020-2690-4}}</ref>
; Forgetful functors: The functor {{nowrap|''U'' : '''Grp''' → '''Set'''}} which maps a [[group (mathematics)|group]] to its underlying set and a [[group homomorphism]] to its underlying function of sets is a functor.{{sfnp|Jacobson|2009|loc=p. 20, ex. 2}}  Functors like these, which "forget" some structure, are termed ''[[forgetful functor]]s''. Another example is the functor {{nowrap|'''Rng''' → '''Ab'''}} which maps a [[ring (algebra)|ring]] to its underlying additive [[abelian group]]. Morphisms in '''Rng''' ([[ring homomorphism]]s) become morphisms in '''Ab''' (abelian group homomorphisms).
; Free functors: Going in the opposite direction of forgetful functors are free functors. The free functor {{nowrap|''F'' : '''Set''' → '''Grp'''}} sends every set ''X'' to the [[free group]] generated by ''X''. Functions get mapped to group homomorphisms between free groups. Free constructions exist for many categories based on structured sets. See [[free object]].
; Homomorphism groups: To every pair ''A'', ''B'' of [[group (mathematics)|abelian groups]] one can assign the abelian group Hom(''A'', ''B'') consisting of all [[group homomorphism]]s from ''A'' to ''B''. This is a functor which is contravariant in the first and covariant in the second argument, i.e. it is a functor {{nowrap|'''Ab'''<sup>op</sup> × '''Ab''' → '''Ab'''}} (where '''Ab''' denotes the [[category of abelian groups]] with group homomorphisms). If {{nowrap|''f'' : ''A''<sub>1</sub> → ''A''<sub>2</sub>}} and {{nowrap|''g'' : ''B''<sub>1</sub> → ''B''<sub>2</sub>}} are morphisms in '''Ab''', then the group homomorphism {{nowrap|Hom(''f'', ''g'')}}: {{nowrap|Hom(''A''<sub>2</sub>, ''B''<sub>1</sub>) → Hom(''A''<sub>1</sub>, ''B''<sub>2</sub>)}} is given by {{nowrap|''φ'' ↦ ''g'' ∘ ''φ'' ∘ ''f''}}. See [[Hom functor]].
; Representable functors: We can generalize the previous example to any category ''C''. To every pair ''X'', ''Y'' of objects in ''C'' one can assign the set {{nowrap|Hom(''X'', ''Y'')}} of morphisms from ''X'' to ''Y''. This defines a functor to '''Set''' which is contravariant in the first argument and covariant in the second, i.e. it is a functor {{nowrap|''C''<sup>op</sup> × ''C'' → '''Set'''}}. If {{nowrap|''f'' : ''X''<sub>1</sub> → ''X''<sub>2</sub>}} and {{nowrap|''g'' : ''Y''<sub>1</sub> → ''Y''<sub>2</sub>}} are morphisms in ''C'', then the map {{nowrap|Hom(''f'', ''g'') : Hom(''X''<sub>2</sub>, ''Y''<sub>1</sub>) → Hom(''X''<sub>1</sub>, ''Y''<sub>2</sub>)}} is given by {{nowrap|''φ'' ↦ ''g'' ∘ ''φ'' ∘ ''f''}}.{{paragraph}} Functors like these are called [[representable functor]]s. An important goal in many settings is to determine whether a given functor is representable.

== Relation to other categorical concepts ==
Let ''C'' and ''D'' be categories. The collection of all functors from ''C'' to ''D'' forms the objects of a category: the [[functor category]]. Morphisms in this category are [[natural transformation]]s between functors.

Functors are often defined by [[universal property|universal properties]]; examples are the [[tensor product]], the [[direct sum of modules|direct sum]] and [[direct product]] of groups or vector spaces, construction of free groups and modules, [[direct limit|direct]] and [[inverse limit|inverse]] limits. The concepts of [[limit (category theory)|limit and colimit]] generalize several of the above.

Universal constructions often give rise to pairs of [[adjoint functors]].

== Computer implementations ==
{{Main|Functor (functional programming)}}
Functors sometimes appear in [[functional programming]]. For instance, the programming language [[Haskell (programming language)|Haskell]] has a [[type class|class]] <code>Functor</code> where [[Map (higher-order function)#Generalization|<code>fmap</code>]] is a [[polytypic function]] used to map [[function (computer programming)|functions]] (''morphisms'' on ''Hask'', the category of Haskell types)<ref>It's not entirely clear that Haskell datatypes truly form a category. See https://wiki.haskell.org/Hask for more details.</ref> between existing types to functions between some new types.<ref>See https://wiki.haskell.org/Category_theory/Functor#Functors_in_Haskell for more information.</ref>

== See also ==
{{Portal|Mathematics}}
* [[Anafunctor]]
* [[Profunctor]]
* [[Functor category]]
* [[Kan extension]]
* [[Pseudofunctor]]

== Notes ==
{{Reflist}}

== References ==
* {{Citation| last=Jacobson| first=Nathan| author-link=Nathan Jacobson| year=2009| title=Basic algebra| edition=2nd| volume = 2 | publisher=Dover| isbn = 978-0-486-47187-7 }}.
* {{Citation | first = Harold | last = Simmons  |doi=10.1017/CBO9780511863226.004 |chapter=Functors and natural transformations |title=An Introduction to Category Theory |date=2011 |pages=72–107 |isbn=978-1-107-01087-1|url={{Google books|VOCQUC_uiWgC|page=74|plainurl=yes}} }}

== External links ==
{{Wiktionary|functor}}
* {{springer|title=Functor|id=p/f042140}}
* see {{nlab|id=functor}} and the variations discussed and linked to there.
* [[André Joyal]], [http://ncatlab.org/nlab CatLab], a wiki project dedicated to the exposition of categorical mathematics
* {{cite web | first = Chris | last = Hillman | title = A Categorical Primer | year = 2001 | citeseerx = 10.1.1.24.3264 |archive-url=https://web.archive.org/web/19970503051012/http://www.math.washington.edu:80/~hillman/PUB/categorical.ps|archive-date=1997-05-03|url=http://www.math.washington.edu:80/~hillman/PUB/categorical.ps}}
* J. Adamek, H. Herrlich, G. Stecker, [http://katmat.math.uni-bremen.de/acc/acc.pdf Abstract and Concrete Categories-The Joy of Cats] {{Webarchive|url=https://web.archive.org/web/20150421081851/http://katmat.math.uni-bremen.de/acc/acc.pdf |date=2015-04-21 }}
* [[Stanford Encyclopedia of Philosophy]]: "[http://plato.stanford.edu/entries/category-theory/ Category Theory]" — by Jean-Pierre Marquis. Extensive bibliography.
* [http://www.mta.ca/~cat-dist/ List of academic conferences on category theory]
* Baez, John, 1996,"[http://math.ucr.edu/home/baez/week73.html The Tale of ''n''-categories.]" An informal introduction to higher order categories.
* [http://wildcatsformma.wordpress.com/ WildCats] is a [[category theory]] package for [[Mathematica]]. Manipulation and visualization of objects, [[morphism]]s, categories, functors, [[natural transformation]]s, [[universal properties]].
* [https://www.youtube.com/user/TheCatsters The catsters], a YouTube channel about category theory.
* [http://categorieslogicphysics.wikidot.com/events Video archive] of recorded talks relevant to categories, logic and the foundations of physics.
*[https://web.archive.org/web/20080916162345/http://www.j-paine.org/cgi-bin/webcats/webcats.php Interactive Web page] which generates examples of categorical constructions in the category of finite sets.
{{Category theory}}
{{Functors}} {{Functions navbox}}

[[Category:Functors| ]]