お正月に考えてみたことを記します。書くのにけっこう時間がかかりました。長いです。圏の基本事項を学んだ後にモナドの概念が導入されます。しかし、モナド概念を使って圏を調べるということも出来そうです。「圏論 → モナド論 → 圏論」という循環が生じま…