つづき
１．
最初は "Natural transformation"と いう概念がつかみにくいと思いますが，重要な概念なので，多くの例にあたってみたり， 図を何度も描いてみたりして習熟してください．この章の扉の説明では，もともと圏論は Natural transformation を厳密に定義するために生まれたとのことです．
http://www.geocities.jp/koga58/category/pictures/leinster-chap01.png
2.Adjoints
ここでは Adjoints を学びます．Adjoints は２つの圏からお互いに相手に向かって 関手（functor）が定義され，それらがある種の条件を満たすことにより，お互いに 拘束しあっているものです．これらの裏にはある種の同型が隠れています．
これら３つの定義はそれぞれ，ある種の直観を我々に与えてくれます． Leinster によると，Adjoints を知ることは，あなたの数学の工具箱にとても 貴重な工具を加えることになると言うことです．
http://www.geocities.jp/koga58/category/pictures/leinster-chap02.png
つづく
