7. Naturality ぱらぱらめくる『Category Theory』by Steve Awodey

  • Category と categoryを結びつけるのがfunctor(関手というのが日本語訳)
  • このfunctorが2つあって、functor間の関係の属性としてNaturalityというのがある(らしい)
  • もっとも自然な2 functors 間の関係、と(たぶん)
  • Natural transformation