スライド -- http://www.cs.chalmers.se/~peterd/slides/Uppsala.ps 論文 -- http://www.site.uottawa.ca/~phil/papers/paper_final.pub.ps

混乱を招くこともあるが、Haskellのセクション記法が便利なこと気付いた。 (△b) = λx.(x△b) (a△) = λx.(a△x) 特に、関数結合;に対して使うと： (;f)(u) = u;f 後結合＝前送り (f;)(u) = f;u 前結合＝引き戻し

Title: A CONCRETE INTRODUCTION TO CATEGORIES Author: WILLIAM R. SCHMITT URL: http://home.gwu.edu/~wschmitt/papers/cat.pdf 60ページ タイトル通りに具体的。随伴の紹介がゴール。