米田の補題は既に知られているとして、米田の補題を左カン拡張の枠組みで解釈できるでしょうか？ できます。やってみます。$`\newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\twoto}{\Rightarrow } \newcommand{\In}{\t…