Higher-dimensional categories with finite derivation type. Guiraud, Yves, Malbos, Philippe (2009) Theory and Applications of Categories [electronic only]
Homotopic pullbacks, Lax pullbacks, and exponentiability Susan Niefield (2006) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Homotopy preserving functors L. Stramaccia (1988) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Homotopy transition cocycles. Wirth, James, Stasheff, Jim (2006) Journal of Homotopy and Related Structures