2011-07-14 7. Naturality ぱらぱらめくる『Category Theory』by Steve Awodey ぱらぱらめくるシリーズ 圏論 Category と categoryを結びつけるのがfunctor(関手というのが日本語訳) このfunctorが2つあって、functor間の関係の属性としてNaturalityというのがある(らしい) もっとも自然な2 functors 間の関係、と(たぶん) Natural transformation