めもめも

このブログに記載の内容は個人の見解であり、必ずしも所属組織の立場、戦略、意見を代表するものではありません。

米田の補題と米田の埋め込みの説明例

一般的な教科書だと形式的な定義と証明が並びがちな部分を一定の動機づけを持って説明する例を考えてみました。

圏の定義、関手、自然変換あたりは知っている前提です。