Classifiying spaces of monoids-applications in geometric combinatorics.
Classifying spaces of categories and term rewriting.
Closed model categories for -types.
Cochains and homotopy type
Finite type nilpotent spaces are weakly equivalent if and only if their singular cochains are quasi-isomorphic as E∞ algebras. The cochain functor from the homotopy category of finite type nilpotent spaces to the homotopy category of E∞ algebras is faithful but not full.
Comparing globular complex and flow.
Complex arrangements and derivations.
Computing crossed modules induced by an inclusion of a normal subgroup, with applications to homotopy 2-types.
Contractibilité du groupe linéaire des espaces de Hilbert de dimension infinie
Cores of spaces, spectra, and ring spectra.
Crossed squares and combinatorical homotopy.