category theory
43p. というか 43 枚。スライドです。 http://www.cs.toronto.edu/~sme/presentations/cat101.pdf
300p. ftp://ftp.di.ens.fr/pub/users/longo/CategTypesStructures/book.pdf
133p. http://folli.loria.fr/cds/1999/library/pdf/barrwells.pdf
61p. http://www.dcs.ed.ac.uk/home/dt/CT/categories.pdf
20p. http://www-cse.ucsd.edu/users/goguen/ps/manif.ps.gz