PS

Small categories

Small category

任意のCategory について、二つの類:

が両方とも集合であるとき、small categoryという。

Category of small categories

Category を次のように定義できる:

「任意のcategory について」を「任意の について」と書きたかったが、 さえ含まれない。

参考文献