- 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
- Geometric Trilogy: Axiomatic, Algebraic and Differential Approaches to Geometry
- Mal'cev, Protomodular, Homological and Semi-Abelian Categories (Mathematics and Its Applications)