Abstract families and the adjoint functor theorems.- V-indexed categories.- Algebraic theories in toposes.- Coequalizers in algebras for an internal type.
Reports of the Midwest Category Seminar II (Lecture Notes in Mathematics, 61)
First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics, 611)
Formal Category Theory : Adjointness for 2-Categories (Lecture Notes in Mathematics, 391)
Coherence in Categories (Lecture Notes in Mathematics, 281)
Category Seminar: Proceedings Sydney Category Theory Seminar 1972 /1973 (Lecture Notes in Mathematics, 420)
Trivial Extensions of Abelian Categories: Homological Algebra of Trivial Extensions of Abelian Catergories with Applications to Ring Theory (Lecture Notes in Mathematics, 456)
Classifying Spaces and Classifying Topoi (Lecture Notes in Mathematics, 1616)
Categorical Algebra and its Applications: Proceedings of a Conference, Held in Louvain-la-Neuve, Belgium, July 26 - August 1, 1987 (Lecture Notes in Mathematics, 1348)
Reports of the Midwest Category Seminar IV (Lecture Notes in Mathematics, 137)
Kan Extensions in Enriched Category Theory (Lecture Notes in Mathematics, 145)