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

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

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