昨日の記事「カリー vs. カン、双対 vs. 随伴」を使った事例として、表題の定理を示してみます。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\In}{\text{ in }} \newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\hyp}{\text{－} } %\newcommand{\id…