- Handbook of Categorical Algebra: Basic Category Theory Vol 1 (Encyclopedia of Mathematics and Its Applications)
- An Axiomatic Approach to Geometry: Geometric Trilogy I
- An Algebraic Approach to Geometry: Geometric Trilogy II
- Mal'cev, Protomodular, Homological and Semi-Abelian Categories (Mathematics and Its Applications)
- Handbook of Categorical Algebra: Volume 2, Categories and Structures