172 citations · 796 across the 66 of their papers we have counts for
4 papers · 1 filter
Mapping spaces in Quasi-categories
Daniel Dugger, David I. Spivak
We apply the Dwyer-Kan theory of homotopy function complexes in model categories to the study of mapping spaces in quasi-categories. Using this, together with our work on rigidific…
Rigidification of quasi-categories
Daniel Dugger, David I. Spivak
We give a new construction for rigidifying a quasi-category into a simplicial category, and prove that it is weakly equivalent to the rigidification given by Lurie. Our constructio…
Higher-dimensional models of networks
David I. Spivak
Networks are often studied as graphs, where the vertices stand for entities in the world and the edges stand for connections between them. While relatively easy to study, graphs ar…
Simplicial Databases
David I. Spivak
In this paper, we define a category DB, called the category of simplicial databases, whose objects are databases and whose morphisms are data-preserving maps. Along the way we give…