David I. Spivak

66 papers A* 1A 1B 3Misc 2Journal 44Unranked 13

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Interactions that reshape the interfaces of the interacting parties. CoRR David I. Spivak
2025	J	`jnl`	The compact double category Int(Poly CoRR Grigory Kondyrev, David I. Spivak
2024	—	`conf`	Organizing Physics with Open Energy-Driven Systems. ACT Matteo Capucci, Owen Lynch, David I. Spivak
2024	—	`conf`	Pattern Runs on Matter: The Free Monad Monad as a Module over the Cofree Comonad Comonad. ACT Sophie Libkind, David I. Spivak
2024	B	`conf`	Polynomial Universes and Dependent Types. MFPS C. B. Aberlé, David I. Spivak
2023	J	`jnl`	Algebraic Model Management: A Survey. CoRR Patrick Schultz, David I. Spivak, Ryan Wisnesky
2023	J	`jnl`	Dynamic Tracing: a graphical language for rewriting protocols. CoRR Kristopher Brown, David I. Spivak
2022	—	`conf`	Dynamic categories, dynamic operads: From deep learning to prediction markets. ACT Brandon Shapiro, David I. Spivak
2022	J	`jnl`	Fast Left Kan Extensions Using The Chase. CoRR Joshua Meyers, David I. Spivak, Ryan Wisnesky
2022	J	`jnl`	Fast Left Kan Extensions Using the Chase. J. Autom. Reason. Joshua Meyers, David I. Spivak, Ryan Wisnesky
2022	—	`conf`	Polynomial functors and Shannon entropy. ACT David I. Spivak
2021	J	`jnl`	Deep neural networks as nested dynamical systems. CoRR David I. Spivak, Timothy Hosgood
2021	J	`jnl`	Dirichlet Polynomials and Entropy. Entropy David I. Spivak, Timothy Hosgood
2021	J	`jnl`	Dirichlet polynomials and entropy. CoRR David I. Spivak, Timothy Hosgood
2021	J	`jnl`	Functorial aggregation. CoRR David I. Spivak
2021	—	`conf`	Learners' languages. ACT David I. Spivak
2021	A	`conf`	Monitoring and Diagnosability of Perception Systems. IROS Pasquale Antonante, David I. Spivak, Luca Carlone
2021	—	`ed.`	Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020. ACT David I. Spivak, Jamie Vicary
2021	—	`conf`	Temporal Landscapes: A Graphical Logic of Behavior. ACT Brendan Fong, Alberto Speranzon, David I. Spivak
2020	B	`conf`	A Categorical Semantics for Guarded Petri Nets. ICGT Fabrizio Genovese, David I. Spivak
2020	J	`jnl`	A Categorical Semantics for Guarded Petri Nets. CoRR Fabrizio Genovese, David I. Spivak
2020	J	`jnl`	A Compositional Sheaf-Theoretic Framework for Event-Based Systems. CoRR Gioele Zardini, David I. Spivak, Andrea Censi, Emilio Frazzoli
2020	—	`conf`	A Compositional Sheaf-Theoretic Framework for Event-Based Systems. ACT Gioele Zardini, David I. Spivak, Andrea Censi, Emilio Frazzoli
2020	—	`conf`	Behavioral Mereology: A Modal Logic for Passing Constraints. ACT Brendan Fong, David Jaz Myers, David I. Spivak
2020	J	`jnl`	Dynamical Systems and Sheaves. Appl. Categorical Struct. Patrick Schultz, David I. Spivak, Christina Vasilakopoulou
2020	J	`jnl`	Monitoring and Diagnosability of Perception Systems. CoRR Pasquale Antonante, David I. Spivak, Luca Carlone
2020	J	`jnl`	Monitoring and Diagnosability of Perception Systems. CoRR Pasquale Antonante, David I. Spivak, Luca Carlone
2020	J	`jnl`	Type theoretical databases. J. Log. Comput. Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak
2020	—	`conf`	Wiring diagrams as normal forms for computing in symmetric monoidal categories. ACT Evan Patterson, David I. Spivak, Dmitry Vagner
2019	A*	`conf`	Backprop as Functor: A compositional perspective on supervised learning. LICS Brendan Fong, David I. Spivak, Rémy Tuyéras
2019	J	`jnl`	Categorical Data Integration for Computational Science. CoRR Kristopher Brown, David I. Spivak, Ryan Wisnesky
2019	J	`jnl`	Generalized Lens Categories via functors C CoRR David I. Spivak
2019	J	`jnl`	Memoryless Systems Generate the Class of all Discrete Systems. Int. J. Math. Math. Sci. Erwan Beurier, Dominique Pastor, David I. Spivak
2019	—	`conf`	String Diagrams for Regular Logic (Extended Abstract). ACT Brendan Fong, David I. Spivak
2018	J	`jnl`	Abstraction, Composition and Contracts: A Sheaf Theoretic Approach. CoRR Alberto Speranzon, David I. Spivak, Srivatsan Varadarajan
2018	J	`jnl`	Graphical Regular Logic. CoRR Brendan Fong, David I. Spivak
2018	J	`jnl`	Hypergraph Categories. CoRR Brendan Fong, David I. Spivak
2017	J	`jnl`	Backprop as Functor: A compositional perspective on supervised learning. CoRR Brendan Fong, David I. Spivak, Rémy Tuyéras
2017	J	`jnl`	Nesting of dynamical systems and mode-dependent networks. J. Complex Networks David I. Spivak, Joshua Tan
2017	J	`jnl`	Using Category Theory to Facilitate Multiple Manufacturing Service Database Integration. J. Comput. Inf. Sci. Eng. Ryan Wisnesky, Spencer Breiner, Albert T. Jones, David I. Spivak, Eswaran Subrahmanian
2016	J	`jnl`	Algebraic Databases. CoRR Patrick Schultz, David I. Spivak, Christina Vasilakopoulou, Ryan Wisnesky
2016	—	`conf`	Algebraic Model Management: A Survey. WADT Patrick Schultz, David I. Spivak, Ryan Wisnesky
2016	J	`jnl`	Homotopy composition of cospans. CoRR Joachim Kock, David I. Spivak
2016	—	`conf`	Pixel matrices: An elementary technique for solving nonlinear systems. ISSE David I. Spivak, Dominique Ernadote, Omar Hammammi
2016	Misc	`conf`	Type Theoretical Databases. LFCS Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak
2016	Misc	`conf`	Workshop on Topology and Abstract Algebra for Biomedicine. PSB Eric K. Neumann, Svetlana Lockwood, Bala Krishnamoorthy, David I. Spivak
2015	J	`jnl`	A Purely Equational Formalism for Functorial Data Migration. CoRR David I. Spivak, Patrick Schultz, Ryan Wisnesky
2015	J	`jnl`	Functorial Data Migration: From Theory to Practice. CoRR Ryan Wisnesky, David I. Spivak, Patrick Schultz, Eswaran Subrahmanian
2015	J	`jnl`	QINL: Query-integrated Languages. CoRR Patrick Schultz, David I. Spivak, Ryan Wisnesky
2015	—	`conf`	Relational foundations for functorial data migration. DBPL David I. Spivak, Ryan Wisnesky
2014	—	`book`	Category Theory for the Sciences David I. Spivak
2014	J	`jnl`	Database queries and constraints via lifting problems. Math. Struct. Comput. Sci. David I. Spivak
2014	B	`conf`	Experience Implementing a Performant Category-Theory Library in Coq. ITP Jason Gross, Adam Chlipala, David I. Spivak
2014	J	`jnl`	Experience Implementing a Performant Category-Theory Library in Coq. CoRR Jason Gross, Adam Chlipala, David I. Spivak
2014	J	`jnl`	Type theoretical databases. CoRR Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak
2013	J	`jnl`	The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes. CoRR Dylan Rupel, David I. Spivak
2013	J	`jnl`	The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits CoRR David I. Spivak
2012	J	`jnl`	Database queries and constraints via lifting problems CoRR David I. Spivak
2012	J	`jnl`	Functorial data migration. Inf. Comput. David I. Spivak
2012	J	`jnl`	Kleisli Database Instances CoRR David I. Spivak
2012	J	`jnl`	On The Relational Foundations Of Functorial Data Migration CoRR David I. Spivak, Ryan Wisnesky
2011	J	`jnl`	Ologs: a categorical framework for knowledge representation CoRR David I. Spivak
2010	J	`jnl`	Functorial Data Migration CoRR David I. Spivak
2010	J	`jnl`	Table manipulation in simplicial databases CoRR David I. Spivak
2009	J	`jnl`	Higher-dimensional models of networks CoRR David I. Spivak
2009	J	`jnl`	Simplicial Databases CoRR David I. Spivak