Notes
Includes bibliographical references (pages 357-361) and index , Introduction - 1. Coherence and models in homological algebra - 2. Puppe-exact categories, orthodoxy. 2.8. Weak induction and the distributive expansion - 3. Involutive categories - 4. Categories of relations as RE-categories - 5. Theories and models - 6. Homological theories and their universal models - Appendix A. Some points of category theory - Appendix B. A proof for the universal exact system.