David Isaac Spivak
On (∞,1)-categorical hom-spaces in terms of quasi-categories and the relation between quasi-categories and simplicial categories:
Dan Dugger, David Spivak: Rigidification of quasi-categories, Algebr. Geom. Topol. 11 (2011) 225-261 [arXiv:0910.0814, doi:10.2140/agt.2011.11.225]
Dan Dugger, David Spivak: Mapping spaces in quasi-categories, Algebr. Geom. Topol. 11 (2011) 263-325 [arXiv:0911.0469, doi:10.2140/agt.2011.11.263]
On internal categories in homotopy type theory:
On category theory:
On lenses (in computer science):
On type theoretical databases:
On dynamical systems and their categorical systems theory:
and via polynomial functors:
Last revised on January 17, 2026 at 18:05:08. See the history of this page for a list of all contributions to it.