$`\newcommand{\cat}[1]{\mathcal{#1} } \newcommand{\mrm}[1]{\mathrm{#1} } \newcommand{\lexp}{\triangleright } \newcommand{\rexp}{\triangleleft } \newcommand{\In}{\text{ in } } %`$圏論に現れるモノやコトを視覚的に表す描画法として、ストリング…