nLab David Spivak

• website

Selected writings

On (∞,1)-categorical hom-spaces in terms of quasi-categories:

• Dan Dugger, David Spivak, Mapping spaces in quasi-categories, Algebraic & Geometric Topology 11 (2011) 263–325 (arXiv:0911.0469, doi:10.2140/agt.2011.11.263)

On internal categories in homotopy type theory:

• Jason Gross, Adam Chlipala, David Spivak, Experience Implementing a Performant Category-Theory Library in Coq, In: Interactive Theorem Proving. ITP 2014 Lecture Notes in Computer Science, 8558 Springer (2014) $[$arXiv:1401.7694, doi:10.1007/978-3-319-08970-6_18$]$

On hypergraph categories:

• Brendan Fong and David Spivak, Hypergraph Categories (arxiv:1806.08304)

On category theory:

• Brendan Fong, David Spivak, An invitation to applied category theory, 2018 (web, pdf)

On lenses (in computer science):

• David Spivak, Lenses: applications and generalizations, talk at ACT 19 (slides, pdf)

On polynomial functors:

• David Spivak, Poly: An abundant categorical setting for mode-dependent dynamics, (arXiv:2005.01894)

Related $n$Lab entries

• derived smooth manifold

• relation between quasi-categories and simplicial categories

category: people