172 citations · 796 across the 66 of their papers we have counts for
4 papers · 1 filter
Categories as mathematical models
David I. Spivak
Written to be contributed as the "mathematical modeling" chapter of a book, edited by Elaine Landry, to be titled "Categories for the Working Philosopher". In this chapter, categor…
Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams
Dmitry Vagner, David I. Spivak, Eugene Lerman
In this paper, we use the language of operads to study open dynamical systems. More specifically, we study the algebraic nature of assembling complex dynamical systems from an inte…
Type theoretical databases
Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak
We present a soundness theorem for a dependent type theory with context constants with respect to an indexed category of (finite, abstract) simplical complexes. The point of intere…
Experience Implementing a Performant Category-Theory Library in Coq
Jason Gross, Adam Chlipala, David I. Spivak
We describe our experience implementing a broad category-theory library in Coq. Category theory and computational performance are not usually mentioned in the same breath, but we h…