Simplicial Databases - David I. Spivak (CoRR, 2009)

Higher-dimensional models of networks - David I. Spivak (CoRR, 2009)

Table manipulation in simplicial databases - David I. Spivak (CoRR, 2010)

Ologs: a categorical framework for knowledge representation - David I. Spivak (CoRR, 2011)

Kleisli Database Instances - David I. Spivak (CoRR, 2012)

Functorial data migration. - David I. Spivak (Inf. Comput., 2012)

The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes. - Dylan Rupel; David I. Spivak (CoRR, 2013)

The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits - David I. Spivak (CoRR, 2013)

Category Theory for the Sciences - David I. Spivak (MIT Press, 2014)

Experience Implementing a Performant Category-Theory Library in Coq. - Jason Gross; Adam Chlipala; David I. Spivak (ITP, 2014)

Database queries and constraints via lifting problems. - David I. Spivak (Math. Struct. Comput. Sci., 2014)

Relational foundations for functorial data migration. - David I. Spivak; Ryan Wisnesky (DBPL, 2015)

QINL: Query-integrated Languages. - Patrick Schultz; David I. Spivak; Ryan Wisnesky (CoRR, 2015)

A Purely Equational Formalism for Functorial Data Migration. - David I. Spivak; Patrick Schultz; Ryan Wisnesky (CoRR, 2015)

Functorial Data Migration: From Theory to Practice. - Ryan Wisnesky; David I. Spivak; Patrick Schultz; Eswaran Subrahmanian (CoRR, 2015)

Pixel matrices: An elementary technique for solving nonlinear systems. - David I. Spivak; Dominique Ernadote; Omar Hammammi (ISSE, 2016)

Workshop on Topology and Abstract Algebra for Biomedicine. - Eric K. Neumann; Svetlana Lockwood; Bala Krishnamoorthy; David I. Spivak (PSB, 2016)

Algebraic Model Management: A Survey. - Patrick Schultz; David I. Spivak; Ryan Wisnesky (WADT, 2016)

Homotopy composition of cospans. - Joachim Kock; David I. Spivak (CoRR, 2016)

Algebraic Databases. - Patrick Schultz; David I. Spivak; Christina Vasilakopoulou; Ryan Wisnesky (CoRR, 2016)

Nesting of dynamical systems and mode-dependent networks. - David I. Spivak; Joshua Tan (J. Complex Networks, 2017)

Using Category Theory to Facilitate Multiple Manufacturing Service Database Integration. - Ryan Wisnesky; Spencer Breiner; Albert T. Jones; David I. Spivak; Eswaran Subrahmanian (J. Comput. Inf. Sci. Eng., 2017)

Abstraction, Composition and Contracts: A Sheaf Theoretic Approach. - Alberto Speranzon; David I. Spivak; Srivatsan Varadarajan (CoRR, 2018)

Hypergraph Categories. - Brendan Fong; David I. Spivak (CoRR, 2018)

Graphical Regular Logic. - Brendan Fong; David I. Spivak (CoRR, 2018)

Backprop as Functor: A compositional perspective on supervised learning. - Brendan Fong; David I. Spivak; Rémy Tuyéras (LICS, 2019)

Categorical Data Integration for Computational Science. - Kristopher Brown; David I. Spivak; Ryan Wisnesky (CoRR, 2019)

Generalized Lens Categories via functors Cop → Cat. - David I. Spivak (CoRR, 2019)

String Diagrams for Regular Logic (Extended Abstract). - Brendan Fong; David I. Spivak (ACT, 2019)

Memoryless Systems Generate the Class of all Discrete Systems. - Erwan Beurier; Dominique Pastor; David I. Spivak (Int. J. Math. Math. Sci., 2019)

A Categorical Semantics for Guarded Petri Nets. - Fabrizio Genovese; David I. Spivak (ICGT, 2020)

Dynamical Systems and Sheaves. - Patrick Schultz; David I. Spivak; Christina Vasilakopoulou (Appl. Categorical Struct., 2020)

A Compositional Sheaf-Theoretic Framework for Event-Based Systems. - Gioele Zardini; David I. Spivak; Andrea Censi; Emilio Frazzoli (ACT, 2020)

Behavioral Mereology: A Modal Logic for Passing Constraints. - Brendan Fong; David Jaz Myers; David I. Spivak (ACT, 2020)

Wiring diagrams as normal forms for computing in symmetric monoidal categories. - Evan Patterson; David I. Spivak; Dmitry Vagner (ACT, 2020)

Type theoretical databases. - Henrik Forssell; Håkon Robbestad Gylterud; David I. Spivak (J. Log. Comput., 2020)

Monitoring and Diagnosability of Perception Systems. - Pasquale Antonante; David I. Spivak; Luca Carlone (IROS, 2021)

Temporal Landscapes: A Graphical Logic of Behavior. - Brendan Fong; Alberto Speranzon; David I. Spivak (ACT, 2021)

Learners' languages. - David I. Spivak (ACT, 2021)

Deep neural networks as nested dynamical systems. - David I. Spivak; Timothy Hosgood (CoRR, 2021)

Functorial aggregation. - David I. Spivak (CoRR, 2021)

Dirichlet Polynomials and Entropy. - David I. Spivak; Timothy Hosgood (Entropy, 2021)

Polynomial functors and Shannon entropy. - David I. Spivak (ACT, 2022)

Dynamic categories, dynamic operads: From deep learning to prediction markets. - Brandon Shapiro; David I. Spivak (ACT, 2022)

Fast Left Kan Extensions Using the Chase. - Joshua Meyers; David I. Spivak; Ryan Wisnesky (J. Autom. Reason., 2022)

Dynamic Tracing: a graphical language for rewriting protocols. - Kristopher Brown; David I. Spivak (CoRR, 2023)

Polynomial Universes and Dependent Types. - C. B. Aberlé; David I. Spivak (CoRR, 2024)