activity
20152026
most citedAlgebraic models of homotopy types and the homotopy hypothesis

5 citations · 16 across the 12 of their papers we have counts for

collaborators
Showing 2021 · math.CTShow all

2 papers · 2 filters

math.CT2021

Higher Theories and Monads

Simon Henry, Nicholas J. Meadows

We extend Bourke and Garner's idempotent adjunction between monads and pretheories to the framework of -categories and we use this to prove many classical results about mon…

math.CT2021

The effective model structure and -groupoid objects

Nicola Gambino, Simon Henry, Christian Sattler +1

For a category with finite limits and well-behaved countable coproducts, we construct a model structure, called the effective model structure, on the category of simpl…