Coherent categories with respect to monads and coherent prohomotopy theory, Cahiers Topologie Géom. Différentielle Catég (1993)

by M A Batanin