• Interaction With Identities. We have
    \begin{align*} \webleft (\text{id}_{A}\webright )^{*} & = \text{id}_{\textup{Hom}_{\mathcal{C}}\webleft (A,B\webright )},\\ \webleft (\text{id}_{B}\webright )_{*} & = \text{id}_{\textup{Hom}_{\mathcal{C}}\webleft (A,B\webright )}. \end{align*}

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


You can also use the contact form below: