Book entry
Metatheorems
Mal'cev categories
Protomodular categories?
Homological categories?
Semi-abelian categories
Strongly protomodular categories?
Essentially affine categories?
Appendix
Algebraic theories
Internal relations
Internal groupoids
Variations on epimorphisms
Regular and exact categories
Monads
Fibrations
Classification table of fibrations of points
Bibliography
Index of symbols
Index of definitions