Projective objects in the category of chain complexes Achim Kehrein (1999) Acta Mathematica et Informatica Universitatis Ostraviensis
Pullback and pushout squares in a special double category with connection C. B. Spencer, Y. L. Wong (1983) Cahiers de Topologie et Géométrie Différentielle Catégoriques