4.4 Functor categories and natural transformations

Functor categories take functors as objects and natural transformations as morphisms. They provide a framework for studying relationships between categories, with examples like Set^C and Grp^C representing functors from a category C to sets or groups.

Natural transformations are the key to understanding functor categories. They map between functors, preserving structure through the naturality condition. Composition of natural transformations, both vertical and horizontal, allows for complex relationships between functors to be explored.

Functor Categories

Functor categories and examples

• A functor category is a category whose objects are functors between two fixed categories $C$ and $D$
  • The morphisms in a functor category are natural transformations between these functors
• Examples of functor categories include:
  • $Set^C$: functors from category $C$ to the category of sets ($Set$)
  • $Grp^C$: functors from category $C$ to the category of groups ($Grp$)
  • $Top^C$: functors from category $C$ to the category of topological spaces ($Top$)
  • $Vect_k^C$: functors from category $C$ to the category of vector spaces over a field $k$ ($Vect_k$)

Natural transformations as morphisms

• In a functor category, the morphisms between functors $F, G: C \rightarrow D$ are natural transformations $\alpha: F \Rightarrow G$
  • A natural transformation $\alpha$ assigns to each object $X$ in $C$ a morphism $\alpha_X: F(X) \rightarrow G(X)$ in $D$
  • These morphisms must satisfy the naturality condition: for every morphism $f: X \rightarrow Y$ in $C$, the following diagram commutes:

    </>Code
    F(X) --F(f)--> F(Y)
     |              |
    αX             αY
     |              |
     v              v
    G(X) --G(f)--> G(Y)

• The naturality condition ensures that the morphisms $\alpha_X$ are compatible with the functorial actions of $F$ and $G$

Composition of natural transformations

• Natural transformations can be composed in two ways: vertically and horizontally
• Vertical composition:
  1. Given natural transformations $\alpha: F \Rightarrow G$ and $\beta: G \Rightarrow H$, their vertical composition $\beta \circ \alpha: F \Rightarrow H$ is defined componentwise
  2. For each object $X$ in $C$, $(\beta \circ \alpha)_X = \beta_X \circ \alpha_X$
  3. The vertical composition of natural transformations is associative and has an identity (the identity natural transformation)
• Horizontal composition:
  1. Given natural transformations $\alpha: F \Rightarrow G$ and $\beta: H \Rightarrow K$ where $F, G: C \rightarrow D$ and $H, K: D \rightarrow E$, their horizontal composition $\beta * \alpha: HF \Rightarrow KG$ is defined componentwise
  2. For each object $X$ in $C$, $(\beta * \alpha)_X = \beta_{G(X)} \circ H(\alpha_X)$
  3. The horizontal composition of natural transformations is also associative and has an identity

Relationships between functors

• Natural transformations can establish various relationships between functors:
  • Isomorphism: functors $F$ and $G$ are naturally isomorphic ($F \cong G$) if there exist natural transformations $\alpha: F \Rightarrow G$ and $\beta: G \Rightarrow F$ such that $\beta \circ \alpha = id_F$ and $\alpha \circ \beta = id_G$
  • Equivalence: functors $F$ and $G$ are naturally equivalent if they are naturally isomorphic up to isomorphism in the target category
  • Adjunction: functors $F: C \rightarrow D$ and $G: D \rightarrow C$ form an adjunction if there exist natural transformations $\eta: id_C \Rightarrow GF$ (unit) and $\varepsilon: FG \Rightarrow id_D$ (counit) satisfying certain conditions (triangle identities)
• These relationships capture the idea of functors being "the same" or "similar" in various ways

Natural isomorphisms and equivalences

• A natural isomorphism is a natural transformation $\alpha: F \Rightarrow G$ where each component $\alpha_X$ is an isomorphism in the target category $D$
  • The inverse of a natural isomorphism $\alpha$ is a natural transformation $\alpha^{-1}: G \Rightarrow F$ with components $(\alpha^{-1})_X = (\alpha_X)^{-1}$
• Functors $F$ and $G$ are naturally isomorphic ($F \cong G$) if there exists a natural isomorphism between them
  • Natural isomorphism is an equivalence relation on functors: it is reflexive, symmetric, and transitive
• Functors $F$ and $G$ are naturally equivalent if they are naturally isomorphic up to isomorphism in the target category
  • Equivalence of functors is a weaker notion than natural isomorphism
  • Naturally equivalent functors share many categorical properties and are often considered "the same" in a broader sense