38 citations · 95 across the 13 of their papers we have counts for
5 papers · 1 filter
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…
Constructive homotopy theory of marked semisimplicial sets
Christian Sattler
We develop the homotopy theory of semisimplicial sets constructively and without reference to point-set topology to obtain a constructive model for -groupoids. Most of the devel…
Idempotent completion of cubes in posets
Christian Sattler
This note concerns the category of cartesian cubes with connections, equivalently the full subcategory of posets on objects with . We show that the idempot…
The Equivalence Extension Property and Model Structures
Christian Sattler
We give an elementary construction of a certain class of model structures. In particular, we rederive the Kan model structure on simplicial sets without the use of topological spac…
The Frobenius Condition, Right Properness, and Uniform Fibrations
Nicola Gambino, Christian Sattler
We develop further the theory of weak factorization systems and algebraic weak factorization systems. In particular, we give a method for constructing (algebraic) weak factorizatio…