David Spivak

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)

- 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)

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

category: people

Last revised on October 13, 2021 at 13:18:06. See the history of this page for a list of all contributions to it.