佐野博亮
2024年9月21日
が余積図式であるとする。Hom(A,Z)×Hom(B,Z)\mathop{\mathrm{Hom}}(A,Z)\times\mathop{\mathrm{Hom}}(B,Z)の対象⟨d1,d2⟩\langle{d_1,d_2}\rangleが与えられたとする。このとき、次の可換図式が成り立つようなu:C→Zu\colon C\to Zがただ1つ存在する。
このような写像 Hom(A,Z)×Hom(B,Z)→Hom(C,Z)⟨d1,d2⟩↦u\begin{aligned} \mathop{\mathrm{Hom}}(A,Z)\times\mathop{\mathrm{Hom}}(B,Z) &\to \mathop{\mathrm{Hom}}(C,Z)\\ \langle{d_1,d_2}\rangle &\longmapsto u\end{aligned} は問題文中の写像の逆写像である。
