随伴系〈adjunction | adjoint system〉は既に知られているとして、随伴系をカン拡張の枠組みで解釈できるでしょうか？ できます。やってみます。$`\newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\twoto}{\Rightarrow …