Item 3 (0114) — The Clowder Project

Style	Class	Font	Theorem Environments
Style 1	`book`	Alegreya Sans	`tcbthm`
Style 2	`book`	Alegreya Sans	`amsthm`
Style 3	`book`	Arno*	`amsthm`
Style 4	`book`	Computer Modern	`amsthm`

Interaction With Identities. We have
\[ \text{id}^{\dagger }_{\mathcal{C}}=\text{id}_{\textup{Hom}_{\mathcal{C}}\webleft (-_{1},-_{2}\webright )}, \]

i.e. the natural transformation associated to $\text{id}_{\mathcal{C}}$ is the identity natural transformation of the functor $\textup{Hom}_{\mathcal{C}}\webleft (-_{1},-_{2}\webright )$.

Noticed something off, or have any comments? Feel free to reach out!

You can also use the contact form below: