172 citations · 796 across the 66 of their papers we have counts for
6 papers · 1 filter
The steady states of coupled dynamical systems compose according to matrix arithmetic
David I. Spivak
Open dynamical systems are mathematical models of machines that take input, change their internal state, and produce output. For example, one may model anything from neurons to rob…
QINL: Query-integrated Languages
Patrick Schultz, David I. Spivak, Ryan Wisnesky
We describe an alternative solution to the impedance-mismatch problem between programming and query languages: rather than embed queries in a programming language, as done in LINQ…
String diagrams for traced and compact categories are oriented 1-cobordisms
David I. Spivak, Patrick Schultz, Dylan Rupel
We give an alternate conception of string diagrams as labeled 1-dimensional oriented cobordisms, the operad of which we denote by Cob/O, where O is the set of string labels. The ax…
Toward formalizing ologs: Linguistic structures, instantiations, and mappings
Marco A. Pérez, David I. Spivak
We define the notion of linguistic structure on a small category, in order to provide a more formal description of ontology logs, also known as ologs, introduced by R. E. Kent and…
Nesting of dynamic systems and mode-dependent networks
David I. Spivak, Joshua Z. Tan
For many networks, the connection pattern (often called the topology) can vary in time, depending on the changing state, or mode, of the modules within the network. For example, "a…
Functorial Data Migration: From Theory to Practice
Ryan Wisnesky, David I. Spivak, Patrick Schultz +1
In this paper we describe a functorial data migration scenario about the manufacturing service capability of a distributed supply chain. The scenario is a category-theoretic analog…