動機とか背景を説明する気力と時間がないし、ほとんど確認してない当てずっぽうを言います。やりたいことは、たくさんのモナド達を扱うことです。圏Cに対する自己関手の圏 E = End(C) は、非対称な厳密モノイド圏です。非対称であれなんであれ、モノイド圏内…