collaborators

2 papers

math.CT2026

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…

math.CT2025

Homotopy Languages

César Bardomiano Martínez, Simon Henry

We attach to each weak model category a class of first order formulas about the fibrant objects of whose validity is invariant under homotopies and weak…