A Higher-Order Calculus for Categories Mario Ca'ccamo Glynn Winskel June, 2001 ftp://ftp.daimi.au.dk/BRICS/RS/01/27/BRICS-RS-01-27.pdf The Density Formula が載っている。

Category theory: a programming language-oriented introduction Pierre-Louis Curien October 19, 2008 http://www.pps.univ-paris-diderot.fr/~mellies/mpri/mpri-ens/articles/curien-category-theory.pdf The Joy of String Diagrams Pierre-Louis Curi…