米田の補題をストリング図で描いておくと、米田同型〈the Yoneda isomorphism〉の作り方を忘れないんじゃないかと思います。$`% \newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\id}{\mathrm{id} } \newcommand{\mrm}[1]{\mathrm{#1} } \newcommand{\In}{\…