5. Limits and colimits ぱらぱらめくる『Category Theory』by Steve Awodey

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