7 works on record
Indexed categories and their applications
Category theory and computer science
Topos theory
Stone spaces
Notes on logic and set theory
Applications of Categories in Computer Science
Sketches of an elephant
