Coherent prohomotopical algebra Timothy Porter (1977) Cahiers de Topologie et Géométrie Différentielle Catégoriques