2005-07-02 Categories, Types and Structures. category theory Giuseppe Longo 300p. ftp://ftp.di.ens.fr/pub/users/longo/CategTypesStructures/book.pdf