14 citations · 38 across the 10 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.AG2019★ 1 cited
On the profinite homotopy type of log schemes
David Carchedi, Sarah Scherotzke, Nicolò Sibilla +1
We complete the program, initiated in [6], to compare the many different possible definitions of the underlying homotopy type of a log scheme. We show that, up to profinite complet…
math.AT2019★ 2 cited
On the Universal Property of Derived Manifolds
David Carchedi, Pelle Steffens
It is well known that any model for derived manifolds must form a higher category. In this paper, we propose a universal property for this higher category, classifying it up to equ…