nLab
David Spivak

Selected writings

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

On hypergraph categories:

On category theory:

On lenses (in computer science):

On polynomial functors:

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.