Difference between revisions of "Contravariant functor/Definition"
From Maths
(Created page with "<noinclude> ==Definition== </noinclude> A ''covariant functor'', {{M|T:C\leadsto D}} (for categories {{M|C}} and {{M|D}}) is a pair of mappings{{rAIRM...") |
m |
||
| Line 2: | Line 2: | ||
==Definition== | ==Definition== | ||
</noinclude> | </noinclude> | ||
| − | A ''covariant functor'', {{M| | + | A ''covariant functor'', {{M|S:C\leadsto D}} (for [[category|categories]] {{M|C}} and {{M|D}}) is a pair of [[mapping|mappings]]{{rAIRMACCF}}: |
* {{M|1=S:\left\{\begin{array}{rcl}\text{Obj}(C) & \longrightarrow & \text{Obj}(D)\\ X & \longmapsto & SX \end{array}\right. }} | * {{M|1=S:\left\{\begin{array}{rcl}\text{Obj}(C) & \longrightarrow & \text{Obj}(D)\\ X & \longmapsto & SX \end{array}\right. }} | ||
* {{M|1=S:\left\{\begin{array}{rcl}\text{Mor}(C) & \longrightarrow & \text{Mor}(D)\\ f & \longmapsto & Sf \end{array}\right. }} | * {{M|1=S:\left\{\begin{array}{rcl}\text{Mor}(C) & \longrightarrow & \text{Mor}(D)\\ f & \longmapsto & Sf \end{array}\right. }} | ||
Latest revision as of 16:53, 2 February 2016
Definition
A covariant functor, [ilmath]S:C\leadsto D[/ilmath] (for categories [ilmath]C[/ilmath] and [ilmath]D[/ilmath]) is a pair of mappings[1]:
- [ilmath]S:\left\{\begin{array}{rcl}\text{Obj}(C) & \longrightarrow & \text{Obj}(D)\\ X & \longmapsto & SX \end{array}\right.[/ilmath]
- [ilmath]S:\left\{\begin{array}{rcl}\text{Mor}(C) & \longrightarrow & \text{Mor}(D)\\ f & \longmapsto & Sf \end{array}\right.[/ilmath]
- Note that if [ilmath]f:A\rightarrow B[/ilmath] then [ilmath]Sf:B\rightarrow A[/ilmath]
Which preserves only the identity morphism of each object - it reverses composition of morphisms, that is to say:
- [ilmath]\forall f,g\in\text{Mor}(C)[Sgf=S(g\circ f)=Sf\circ Sg=SfSg][/ilmath] (I've added the [ilmath]\circ[/ilmath]s in to make it more obvious to the reader what is going on)
- Where such composition makes sense. That is [ilmath]\text{target}(f)=\text{source}(g)[/ilmath].
- and [ilmath]\forall A\in\text{Obj}(C)[S1_A=1_{SA}][/ilmath]
Thus if [ilmath]f:X\rightarrow Y[/ilmath] and [ilmath]g:Y\rightarrow Z[/ilmath] are morphisms of [ilmath]C[/ilmath], then the following diagram commutes:
| [ilmath]\begin{xy}\xymatrix{SX & & SZ \ar[ll]_{Sgf} \ar[dl]^{Sg}\\ & SY \ar[ul]^{Sf} & }\end{xy}[/ilmath]
Thus the diagram just depicts the requirement that:
|
[ilmath]\ [/ilmath] | Note that the diagram is similar to [ilmath]\begin{xy}\xymatrix{X \ar[rr]^{gf} \ar[dr]_{f} & & Z \\ & Y \ar[ur]_{g} & }\end{xy}[/ilmath] |
|---|
