Difference between revisions of "Natural transformation"
(Added diagram) |
m |
||
Line 1: | Line 1: | ||
− | A natural transformation is a way of turning one [[functor]] into another functor while 'preserving' the structure of the [[Category (category theory)|categories]]. Natural transformations can be thought of a 'morphisms between functors,' and indeed they are precisely the morphisms in functor categories. | + | A '''natural transformation''' is a way of turning one [[functor]] into another functor while 'preserving' the structure of the [[Category (category theory)|categories]]. Natural transformations can be thought of a 'morphisms between functors,' and indeed they are precisely the morphisms in functor categories. |
More precisely, given two categories <math>\mathcal{C}</math> and <math>\mathcal{D}</math>, and two functors <math>F,G:\mathcal{C}\to \mathcal{D}</math>, then a natural transformation <math>\varphi:F\to G</math> is a mapping which assigns to each object <math>X\in \text{Ob}(\mathcal{C})</math> a morphism <math>\varphi_X:F(X)\to G(X)</math> in <math>\mathcal{D}</math> such that for every morphism <math>f:X\to Y</math> of <math>\mathcal{C}</math>, we have:<cmath>\varphi_Y\circ F(f) = G(f)\circ \varphi_X.</cmath>This equation can also be expressed by saying that the following diagram [[Commutative diagram|commutes]]: | More precisely, given two categories <math>\mathcal{C}</math> and <math>\mathcal{D}</math>, and two functors <math>F,G:\mathcal{C}\to \mathcal{D}</math>, then a natural transformation <math>\varphi:F\to G</math> is a mapping which assigns to each object <math>X\in \text{Ob}(\mathcal{C})</math> a morphism <math>\varphi_X:F(X)\to G(X)</math> in <math>\mathcal{D}</math> such that for every morphism <math>f:X\to Y</math> of <math>\mathcal{C}</math>, we have:<cmath>\varphi_Y\circ F(f) = G(f)\circ \varphi_X.</cmath>This equation can also be expressed by saying that the following diagram [[Commutative diagram|commutes]]: |
Latest revision as of 22:16, 2 September 2008
A natural transformation is a way of turning one functor into another functor while 'preserving' the structure of the categories. Natural transformations can be thought of a 'morphisms between functors,' and indeed they are precisely the morphisms in functor categories.
More precisely, given two categories and
, and two functors
, then a natural transformation
is a mapping which assigns to each object
a morphism
in
such that for every morphism
of
, we have:
This equation can also be expressed by saying that the following diagram commutes:
This article is a stub. Help us out by expanding it.