https://arxiv.org/pdf/1311.7642 の2.1 のクライスリ構造〈クライスリ拡張構造〉$`\newcommand{\T}[1]{\text{#1}} \newcommand{\cat}[1]{\mathcal{#1} } \newcommand{\mrm}[1]{\mathrm{#1} } \newcommand{\In}{\text{ in }} \newcommand{\twoto}{\Rightarro…