38 citations · 95 across the 13 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.LO2017★ 9 cited
Space-Valued Diagrams, Type-Theoretically (Extended Abstract)
Nicolai Kraus, Christian Sattler
Topologists are sometimes interested in space-valued diagrams over a given index category, but it is tricky to say what such a diagram even is if we look for a notion that is stabl…
math.CT2017★ 14 cited
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…