ちょっとわけわからんタイトルです。もう少し正確に言うと、「関手の射パートは自然変換」です。$`\mathcal{C}, \mathcal{D}`$ を圏とします。双関手〈二項関手〉としてのホムセットを次の形に書きます。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{…