Abstract families and the adjoint functor theorems.- V-indexed categories.- Algebraic theories in toposes.- Coequalizers in algebras for an internal type.
First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics, 611)
Kan Extensions in Enriched Category Theory (Lecture Notes in Mathematics, 145)
Formal Category Theory : Adjointness for 2-Categories (Lecture Notes in Mathematics, 391)
Classifying Spaces and Classifying Topoi (Lecture Notes in Mathematics, 1616)
Reports of the Midwest Category Seminar II (Lecture Notes in Mathematics, 61)
Coherence in Categories (Lecture Notes in Mathematics, 281)
Algebra in a Localic Topos with Applications to Ring Theory
Exact Categories and Categories of Sheaves (Lecture Notes in Mathematics, 236)
Categories and Sheaves
Cut Elimination in Categories