On the categorical foundations of homological and homotopical algebra Marco Grandis (1992) Cahiers de Topologie et Géométrie Différentielle Catégoriques