David I. Spivak

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 40

Top Topics

Dynamical Systems

Shannon Entropy

Top Venues

J. Complex Networks

Publications

Kristopher Brown, David I. Spivak
Dynamic Tracing: a graphical language for rewriting protocols. CoRR (2023)
Patrick Schultz, David I. Spivak, Ryan Wisnesky
Algebraic Model Management: A Survey. CoRR (2023)
David I. Spivak
Polynomial functors and Shannon entropy. CoRR (2022)
Brandon Shapiro, David I. Spivak
Dynamic categories, dynamic operads: From deep learning to prediction markets. CoRR (2022)
Joshua Meyers, David I. Spivak, Ryan Wisnesky
Fast Left Kan Extensions Using the Chase. J. Autom. Reason. 66 (4) (2022)
Joshua Meyers, David I. Spivak, Ryan Wisnesky
Fast Left Kan Extensions Using The Chase. CoRR (2022)
David I. Spivak, Timothy Hosgood
Deep neural networks as nested dynamical systems. CoRR (2021)
Pasquale Antonante, David I. Spivak, Luca Carlone
Monitoring and Diagnosability of Perception Systems. IROS (2021)
David I. Spivak
Functorial aggregation. CoRR (2021)
David I. Spivak, Timothy Hosgood
Dirichlet polynomials and entropy. CoRR (2021)
David I. Spivak, Timothy Hosgood
Dirichlet Polynomials and Entropy. Entropy 23 (8) (2021)
David I. Spivak
Learners' languages. CoRR (2021)
Brendan Fong, Alberto Speranzon, David I. Spivak
Temporal Landscapes: A Graphical Logic of Behavior. ACT (2021)
Evan Patterson, David I. Spivak, Dmitry Vagner
Wiring diagrams as normal forms for computing in symmetric monoidal categories. ACT (2020)
Fabrizio Genovese, David I. Spivak
A Categorical Semantics for Guarded Petri Nets. ICGT (2020)
Pasquale Antonante, David I. Spivak, Luca Carlone
Monitoring and Diagnosability of Perception Systems. CoRR (2020)
Fabrizio Genovese, David I. Spivak
A Categorical Semantics for Guarded Petri Nets. CoRR (2020)
Brendan Fong, David Jaz Myers, David I. Spivak
Behavioral Mereology: A Modal Logic for Passing Constraints. ACT (2020)
Pasquale Antonante, David I. Spivak, Luca Carlone
Monitoring and Diagnosability of Perception Systems. CoRR (2020)
Gioele Zardini, David I. Spivak, Andrea Censi, Emilio Frazzoli
A Compositional Sheaf-Theoretic Framework for Event-Based Systems. ACT (2020)
Patrick Schultz, David I. Spivak, Christina Vasilakopoulou
Dynamical Systems and Sheaves. Appl. Categorical Struct. 28 (1) (2020)
Gioele Zardini, David I. Spivak, Andrea Censi, Emilio Frazzoli
A Compositional Sheaf-Theoretic Framework for Event-Based Systems. CoRR (2020)
Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak
Type theoretical databases. J. Log. Comput. 30 (1) (2020)
Brendan Fong, David I. Spivak
String Diagrams for Regular Logic (Extended Abstract). ACT (2019)
Brendan Fong, David I. Spivak, Rémy Tuyéras
Backprop as Functor: A compositional perspective on supervised learning. LICS (2019)
Erwan Beurier, Dominique Pastor, David I. Spivak
Memoryless Systems Generate the Class of all Discrete Systems. Int. J. Math. Math. Sci. 2019 (2019)
Kristopher Brown, David I. Spivak, Ryan Wisnesky
Categorical Data Integration for Computational Science. CoRR (2019)
David I. Spivak
→ Cat. CoRR (2019)
Alberto Speranzon, David I. Spivak, Srivatsan Varadarajan
Abstraction, Composition and Contracts: A Sheaf Theoretic Approach. CoRR (2018)
Brendan Fong, David I. Spivak
Graphical Regular Logic. CoRR (2018)
Brendan Fong, David I. Spivak
Hypergraph Categories. CoRR (2018)
Ryan Wisnesky, Spencer Breiner, Albert T. Jones, David I. Spivak, Eswaran Subrahmanian
Using Category Theory to Facilitate Multiple Manufacturing Service Database Integration. J. Comput. Inf. Sci. Eng. 17 (2) (2017)
David I. Spivak, Joshua Tan
Nesting of dynamical systems and mode-dependent networks. J. Complex Networks 5 (3) (2017)
Brendan Fong, David I. Spivak, Rémy Tuyéras
Backprop as Functor: A compositional perspective on supervised learning. CoRR (2017)
Eric K. Neumann, Svetlana Lockwood, Bala Krishnamoorthy, David I. Spivak
Workshop on Topology and Abstract Algebra for Biomedicine. PSB (2016)
Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak
Type Theoretical Databases. LFCS (2016)
Patrick Schultz, David I. Spivak, Ryan Wisnesky
Algebraic Model Management: A Survey. WADT (2016)
Joachim Kock, David I. Spivak
Homotopy composition of cospans. CoRR (2016)
David I. Spivak, Dominique Ernadote, Omar Hammammi
Pixel matrices: An elementary technique for solving nonlinear systems. ISSE (2016)
Patrick Schultz, David I. Spivak, Christina Vasilakopoulou, Ryan Wisnesky
Algebraic Databases. CoRR (2016)
David I. Spivak, Patrick Schultz, Ryan Wisnesky
A Purely Equational Formalism for Functorial Data Migration. CoRR (2015)
David I. Spivak, Ryan Wisnesky
Relational foundations for functorial data migration. DBPL (2015)
Patrick Schultz, David I. Spivak, Ryan Wisnesky
QINL: Query-integrated Languages. CoRR (2015)
Ryan Wisnesky, David I. Spivak, Patrick Schultz, Eswaran Subrahmanian
Functorial Data Migration: From Theory to Practice. CoRR (2015)
Jason Gross, Adam Chlipala, David I. Spivak
Experience Implementing a Performant Category-Theory Library in Coq. CoRR (2014)
Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak
Type theoretical databases. CoRR (2014)
David I. Spivak
Database queries and constraints via lifting problems. Math. Struct. Comput. Sci. 24 (6) (2014)
Jason Gross, Adam Chlipala, David I. Spivak
Experience Implementing a Performant Category-Theory Library in Coq. ITP (2014)
Dylan Rupel, David I. Spivak
The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes. CoRR (2013)
David I. Spivak
The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits CoRR (2013)
David I. Spivak
Database queries and constraints via lifting problems CoRR (2012)
David I. Spivak, Ryan Wisnesky
On The Relational Foundations Of Functorial Data Migration CoRR (2012)
David I. Spivak
Functorial data migration. Inf. Comput. 217 (2012)
David I. Spivak
Kleisli Database Instances CoRR (2012)
David I. Spivak
Ologs: a categorical framework for knowledge representation CoRR (2011)
David I. Spivak
Functorial Data Migration CoRR (2010)
David I. Spivak
Table manipulation in simplicial databases CoRR (2010)
David I. Spivak
Simplicial Databases CoRR (2009)
David I. Spivak
Higher-dimensional models of networks CoRR (2009)