淡中双対の簡単な例(モノイド作用を使った例)を紹介します。※この記事では米田の補題(『ベーシック圏論』第4章までの内容)は既知とします。 Terminology モノイドの圏 モノイド作用の圏 前層圏と米田の補題 Lemma Main Theorem Terminology 以前『有限群の淡…