• The natural transformation $F^{\dagger }\colon \textup{Hom}_{\mathcal{C}}\Longrightarrow {\textup{Hom}_{\mathcal{D}}}\circ {\webleft (F^{\mathsf{op}}\times F\webright )}$ associated to $F$ is a natural isomorphism.

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


You can also use the contact form below: