Rewriting and presentations of quasicategories

Simon Henry

We show that the methods of rewriting theory to establish coherence theorems can applied at the level of quasicategories. More precisely, for any category C which admits a presenta…