It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2.4K
- Chat 502
- Study Groups 21
- Petri Nets 9
- Epidemiology 4
- Leaf Modeling 2
- Review Sections 9
- MIT 2020: Programming with Categories 51
- MIT 2020: Lectures 20
- MIT 2020: Exercises 25
- Baez ACT 2019: Online Course 339
- Baez ACT 2019: Lectures 79
- Baez ACT 2019: Exercises 149
- Baez ACT 2019: Chat 50
- UCR ACT Seminar 4
- General 75
- Azimuth Code Project 110
- Statistical methods 4
- Drafts 10
- Math Syntax Demos 15
- Wiki - Latest Changes 3
- Strategy 113
- Azimuth Project 1.1K
- - Spam 1
- News and Information 148
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 718

Options

Let’s look more deeply at how \(\mathcal{D}^\mathcal{C}\) is a category.

- Figure out how to compose natural transformations. (Hint: an expert tells you “for each object \(c \in \mathcal{C}\), compose the \(c\)-components”.)
- Propose an identity natural transformation on any object \(F \in \mathcal{D}^\mathcal{C}\) , and check that it is unital.

**Definition 3.44**
Let \(\mathcal{C}\) and \(\mathcal{D}\) be categories.
We denote by \(\mathcal{D}^\mathcal{C}\) the category whose objects are functors \(F : \mathcal{C} \rightarrow \mathcal{D}\) and whose morphisms \(\mathcal{D}^\mathcal{C}(F, G)\) are the natural transformations \( \alpha : F \rightarrow G\).
This category \(\mathcal{D}^\mathcal{C}\) is called the \(\textit{functor category}\).

## Comments

1)

`1) ![Example](https://docs.google.com/drawings/d/e/2PACX-1vTthhQbJ3uZIjFaYDDIMLt6WPvNqAp77CzBQZByuZYHTMb1AN4MK_0bYDi7xSj5JZulb77cagXPFlCn/pub?w=607&h=383)`

According to the Definition 3.48 (of a natural transformation), it is sufficient to specify each component of the natural transformation. As in Fredrick Eisele's figure (and the hint): compose the components, so \(\forall c\in\mathcal{C}\,\,(\beta\circ\alpha)_c:=\beta_c\circ\alpha_c\). Since \(\alpha_c\) and \(\beta_c\) are morphisms, their composite exists and is a morphism (since \(\mathcal{D}\) is a category), so \(\beta\circ\alpha\) is well-defined. The only thing to check is naturality. \((\beta\circ\alpha)_d\circ F(f)\) \(=\beta_d\circ\alpha_d\circ F(f)\) \(=\beta_d\circ G(f)\circ\alpha_c\) \(=H(f)\circ\beta_c\circ\alpha_c\) \(=H(f)\circ(\beta\circ\alpha)_c\).

It is sufficient to define it on objects. To act like the identity, it must map an object to itself. \(\forall F\in\mathcal{D}^\mathcal{C}\,\,(\mathrm{id}_F)_c(F(c))=F(c)\). This is a natural transformation since \((\mathrm{id}_F)_d\circ F(f)=\mathrm{id}_{F(d)}\circ F(f)=F(f)=F(f)\circ\mathrm{id}_{F(c)}=F(f)\circ(\mathrm{id}_F)_c\) (i.e., since each of its components is the identity morphism on the associated object, and unitality in \(\mathcal{D}\)). In the functor category \(\mathcal{D}^\mathcal{C}\), unitality says \(\forall\alpha\in\mathcal{D}^\mathcal{C}(F,G)\,\,\alpha\circ\mathrm{id}_F=\alpha=\mathrm{id}_G\circ\alpha\). The first equality follows from applying the above definition of equality on components in \(\mathcal{C}\), and similarly for the second (the only difference being the functor for which the natural transformation is the identity), i.e., \(\forall c\in\mathcal{C}\,\,(\alpha\circ\mathrm{id}_G)_c\) \(=\alpha_c\circ(\mathrm{id}_G)_c\) \(=\alpha_c\circ\mathrm{id}_{G(c)}\) \(=\alpha_c\) \(=\mathrm{id}_{F(c)}\circ\alpha_c\) \(=(\mathrm{id}_F)_c\circ\alpha_c\) \(=(\mathrm{id}_F\circ\alpha)_c\).

Note that associativity in \(\mathcal{D}^\mathcal{C}\) follows from associativity for morphisms in \(\mathcal{D}\).

`1. According to the Definition 3.48 (of a natural transformation), it is sufficient to specify each component of the natural transformation. As in Fredrick Eisele's figure (and the hint): compose the components, so \\(\forall c\in\mathcal{C}\,\,(\beta\circ\alpha)_c:=\beta_c\circ\alpha_c\\). Since \\(\alpha_c\\) and \\(\beta_c\\) are morphisms, their composite exists and is a morphism (since \\(\mathcal{D}\\) is a category), so \\(\beta\circ\alpha\\) is well-defined. The only thing to check is naturality. \\((\beta\circ\alpha)_d\circ F(f)\\) \\(=\beta_d\circ\alpha_d\circ F(f)\\) \\(=\beta_d\circ G(f)\circ\alpha_c\\) \\(=H(f)\circ\beta_c\circ\alpha_c\\) \\(=H(f)\circ(\beta\circ\alpha)_c\\). 2. It is sufficient to define it on objects. To act like the identity, it must map an object to itself. \\(\forall F\in\mathcal{D}^\mathcal{C}\,\,(\mathrm{id}\_F)\_c(F(c))=F(c)\\). This is a natural transformation since \\((\mathrm{id}\_F)\_d\circ F(f)=\mathrm{id}\_{F(d)}\circ F(f)=F(f)=F(f)\circ\mathrm{id}\_{F(c)}=F(f)\circ(\mathrm{id}\_F)\_c\\) (i.e., since each of its components is the identity morphism on the associated object, and unitality in \\(\mathcal{D}\\)). In the functor category \\(\mathcal{D}^\mathcal{C}\\), unitality says \\(\forall\alpha\in\mathcal{D}^\mathcal{C}(F,G)\,\,\alpha\circ\mathrm{id\}_F=\alpha=\mathrm{id}\_G\circ\alpha\\). The first equality follows from applying the above definition of equality on components in \\(\mathcal{C}\\), and similarly for the second (the only difference being the functor for which the natural transformation is the identity), i.e., \\(\forall c\in\mathcal{C}\,\,(\alpha\circ\mathrm{id}\_G)\_c\\) \\(=\alpha\_c\circ(\mathrm{id}\_G)\_c\\) \\(=\alpha\_c\circ\mathrm{id}\_{G(c)}\\) \\(=\alpha\_c\\) \\(=\mathrm{id}\_{F(c)}\circ\alpha\_c\\) \\(=(\mathrm{id}\_F)\_c\circ\alpha\_c\\) \\(=(\mathrm{id}\_F\circ\alpha)\_c\\). Note that associativity in \\(\mathcal{D}^\mathcal{C}\\) follows from associativity for morphisms in \\(\mathcal{D}\\).`