Categories, Types and Structures

Andrea Asperti and Giuseppe Longo

Introduction: pdf | ps
Categories: pdf | ps
Constructions: pdf | ps
Functors and Natural Transformations: pdf | ps
Categories Derived from Functors and Natural Transformations: pdf | ps
Universal Arrows and Adjunctions: pdf | ps
Cones and Limits: pdf | ps
Indexed and Internal Categories: pdf | ps
Formulae, Types, and Objects: pdf | ps
Reflexive Objects and the Type-free Lambda Calculus: pdf | ps
Recursive Domain Equations: pdf | ps
Second Order Lambda Calculus: pdf | ps
Examples of Internal Models: pdf | ps
Bibliography: pdf | ps