5. Limits and colimits ぱらぱらめくる『Category Theory』by Steve Awodey
- Subobjects : オブジェクトの一部分
- Pullbacks : 2つの矢印が集まるところがあるとき、2つの矢印の手前が1つであるような感じ
- 行きつくところ、まわりから集まって行くところはLimits, Colimits
- Categoryのオブジェクトやarrowやらの設定の具合により、"Limit"とか"Colimit"とか呼ぶのがふさわしいような「構造」を持ったcategoryができる(そのようなcategoryがある)、というような意味合い…(たぶん)
- 有向集合と圏論の極限