モノイド圏があると、それから複圏と多圏が作れます。$`\newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\In}{\text{ in } } \newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\Lis}[1]{\langle {#1} \rangle} \newcommand{\MComp}[1]{ \mathop{;_{#1}} } \n…