nLab David Spivak

Selected writings

On derived smooth manifolds:

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

On internal categories in homotopy type theory:

On hypergraph categories:

On category theory:

On lenses (in computer science):

On polynomial functors:

On type theoretical databases:

On dynamical systems and their categorical systems theory:

and via polynomial functors:

category: people

Last revised on January 12, 2024 at 09:45:54. See the history of this page for a list of all contributions to it.