172 citations · 796 across the 66 of their papers we have counts for
Showing 2014 · math.CTShow all
3 papers · 2 filters
math.CT2014
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…
math.CT2014★ 27 cited
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…
math.CT2014★ 26 cited
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…