モノイド圏は、高次圏〈higher category〉の入り口、特殊な双圏（腐った用語法→「「余」と「双」の使い方がバラバラ」、「高次圏： 用語法と文脈（主に2次元） // だらしなくザンネンな用語法」）。通常圏論〈{ordinary category | 1-category} theory〉の常…