## Functors

Next: Heyting algebra Up: Appendix Previous: Sets

# Functors

I will now briefly explain the concept of a functor.
Generally speaking a functor is a transformation from one category $\mathscr{C}$ to another category $\mathscr{D}$, such that the categorical structure of the domain $\mathscr{C}$ is preserved i.e. gets mapped onto $\mathscr{D}$.
There are two types of functors:
1. Covariant Functor
2. Contravariant Functor
1. Definition 3.3   : A covariant functor from a category $\mathscr{C}$ to a category $\mathscr{D}$ is a map $F:\mathscr{C}\rightarrow\mathscr{D}$ that assigns to each $\mathscr{C}$-object a $\mathscr{D}$-object F(a) and to each $\mathscr{C}$-arrow $f:a\rightarrow b$ a $\mathscr{D}$-arrow $F(f):F(a)\rightarrow F(b)$ such that the following are satisfied:
1. $F(1_a)=1_{F(a)}$
2. $F(f o g)=F(f) o F(g)$ for any $g:c\rightarrow a$

It is clear from the above that a covariant functor is a transformation that preserves both:
• the domain's and the codomain's identities

• the composites of functions i.e. it preserves the direction of the arrows
This can be easily seen with the aid of the following diagram; $\displaystyle \xymatrix{ a\ar[rr]^f\ar[rrdd]_h&&b\ar[dd]^g\\ &&\\ &&c\\ } \xymatrix{\ar@{=>}[rr]^F&&} \xymatrix{ F(a)\ar[rr]^{F(f)}\ar[rrdd]_{F(h)}&&F(b)\ar[dd]^{F(g)}\\ &&\\ &&F(c)\\ }$

2. Definition 3.4

A contravariant functor from a category $\mathscr{C}$ to a category $\mathscr{D}$ is a map $X:\mathscr{C}\rightarrow\mathscr{D}$ that assigns to each $\mathscr{C}$-object a a $\mathscr{D}$-object X(a) and to each $\mathscr{C}$-arrow $f:a\rightarrow b$ a $\mathscr{D}$-arrow $X(f):X(b)\rightarrow X(a)$ such that the following conditions are satisfied

1. $X(1_a)=1_{X(a)}$
2. $X(f o g)=X(g) o X(f)$ for any $g:c\rightarrow a$

A diagrammatic representation of a contravariant functor is the following: $\displaystyle \xymatrix{ a\ar@{>}[rr]^f\ar[rrdd]_h&&b\ar[dd]^g\\ &&\\ &&c\\ } \xymatrix{\ar@{=>}[rr]^X&&} \xymatrix{ F(a)&&X(b)\ar[ll]^{X(f)}\\ &&\\ &&X(c)\ar[lluu]^{X(h)}\ar[uu]^{X(g)}\\ }$

As we can see from the above diagram, a contravariant functor in mapping arrows from one category to the next reverses the directions of the arrows, by mapping domains to codomains and vice versa.

Next: Heyting algebra Up: Appendix Previous: Sets
Cecilia Flori 2007-01-02