default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid I. Spivak
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i34]C. B. Aberlé, David I. Spivak:
Polynomial Universes and Dependent Types. CoRR abs/2409.19176 (2024)- 2023
- [i33]Patrick Schultz, David I. Spivak, Ryan Wisnesky:
Algebraic Model Management: A Survey. CoRR abs/2301.04846 (2023) - [i32]Kristopher Brown, David I. Spivak:
Dynamic Tracing: a graphical language for rewriting protocols. CoRR abs/2304.14950 (2023) - 2022
- [j9]Joshua Meyers, David I. Spivak, Ryan Wisnesky
:
Fast Left Kan Extensions Using the Chase. J. Autom. Reason. 66(4): 805-844 (2022) - [c17]Brandon Shapiro, David I. Spivak:
Dynamic categories, dynamic operads: From deep learning to prediction markets. ACT 2022: 183-202 - [c16]David I. Spivak:
Polynomial functors and Shannon entropy. ACT 2022: 331-343 - [i31]Joshua Meyers, David I. Spivak, Ryan Wisnesky:
Fast Left Kan Extensions Using The Chase. CoRR abs/2205.02425 (2022) - 2021
- [j8]David I. Spivak, Timothy Hosgood:
Dirichlet Polynomials and Entropy. Entropy 23(8): 1085 (2021) - [c15]Pasquale Antonante, David I. Spivak, Luca Carlone:
Monitoring and Diagnosability of Perception Systems. IROS 2021: 168-175 - [c14]David I. Spivak:
Learners' languages. ACT 2021: 14-28 - [c13]Brendan Fong, Alberto Speranzon, David I. Spivak:
Temporal Landscapes: A Graphical Logic of Behavior. ACT 2021: 276-288 - [e1]David I. Spivak, Jamie Vicary:
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020. EPTCS 333, 2021 [contents] - [i30]David I. Spivak, Timothy Hosgood:
Dirichlet polynomials and entropy. CoRR abs/2107.04832 (2021) - [i29]David I. Spivak, Timothy Hosgood:
Deep neural networks as nested dynamical systems. CoRR abs/2111.01297 (2021) - [i28]David I. Spivak:
Functorial aggregation. CoRR abs/2111.10968 (2021) - 2020
- [j7]Patrick Schultz, David I. Spivak, Christina Vasilakopoulou:
Dynamical Systems and Sheaves. Appl. Categorical Struct. 28(1): 1-57 (2020) - [j6]Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak:
Type theoretical databases. J. Log. Comput. 30(1): 217-238 (2020) - [c12]Fabrizio Genovese, David I. Spivak:
A Categorical Semantics for Guarded Petri Nets. ICGT 2020: 57-74 - [c11]Evan Patterson, David I. Spivak, Dmitry Vagner:
Wiring diagrams as normal forms for computing in symmetric monoidal categories. ACT 2020: 49-64 - [c10]Gioele Zardini, David I. Spivak, Andrea Censi, Emilio Frazzoli:
A Compositional Sheaf-Theoretic Framework for Event-Based Systems. ACT 2020: 139-153 - [c9]Brendan Fong, David Jaz Myers, David I. Spivak:
Behavioral Mereology: A Modal Logic for Passing Constraints. ACT 2020: 276-288 - [i27]Fabrizio Genovese, David I. Spivak:
A Categorical Semantics for Guarded Petri Nets. CoRR abs/2002.02762 (2020) - [i26]Gioele Zardini, David I. Spivak, Andrea Censi, Emilio Frazzoli:
A Compositional Sheaf-Theoretic Framework for Event-Based Systems. CoRR abs/2005.04715 (2020) - [i25]Pasquale Antonante, David I. Spivak, Luca Carlone:
Monitoring and Diagnosability of Perception Systems. CoRR abs/2005.11816 (2020) - [i24]Pasquale Antonante, David I. Spivak, Luca Carlone:
Monitoring and Diagnosability of Perception Systems. CoRR abs/2011.07010 (2020)
2010 – 2019
- 2019
- [j5]Erwan Beurier, Dominique Pastor, David I. Spivak:
Memoryless Systems Generate the Class of all Discrete Systems. Int. J. Math. Math. Sci. 2019: 6803526:1-6803526:10 (2019) - [c8]Brendan Fong, David I. Spivak, Rémy Tuyéras:
Backprop as Functor: A compositional perspective on supervised learning. LICS 2019: 1-13 - [c7]Brendan Fong, David I. Spivak:
String Diagrams for Regular Logic (Extended Abstract). ACT 2019: 196-229 - [i23]Kristopher Brown, David I. Spivak, Ryan Wisnesky:
Categorical Data Integration for Computational Science. CoRR abs/1903.10579 (2019) - [i22]David I. Spivak:
Generalized Lens Categories via functors Cop → Cat. CoRR abs/1908.02202 (2019) - 2018
- [i21]Alberto Speranzon, David I. Spivak, Srivatsan Varadarajan:
Abstraction, Composition and Contracts: A Sheaf Theoretic Approach. CoRR abs/1802.03080 (2018) - [i20]Brendan Fong, David I. Spivak:
Hypergraph Categories. CoRR abs/1806.08304 (2018) - [i19]Brendan Fong, David I. Spivak:
Graphical Regular Logic. CoRR abs/1812.05765 (2018) - 2017
- [j4]David I. Spivak, Joshua Tan:
Nesting of dynamical systems and mode-dependent networks. J. Complex Networks 5(3): 389-408 (2017) - [j3]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) - [i18]Brendan Fong, David I. Spivak, Rémy Tuyéras:
Backprop as Functor: A compositional perspective on supervised learning. CoRR abs/1711.10455 (2017) - 2016
- [c6]David I. Spivak, Dominique Ernadote, Omar Hammammi:
Pixel matrices: An elementary technique for solving nonlinear systems. ISSE 2016: 1-5 - [c5]Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak:
Type Theoretical Databases. LFCS 2016: 117-129 - [c4]Eric K. Neumann, Svetlana Lockwood, Bala Krishnamoorthy, David I. Spivak:
Workshop on Topology and Abstract Algebra for Biomedicine. PSB 2016: 576-580 - [c3]Patrick Schultz, David I. Spivak, Ryan Wisnesky:
Algebraic Model Management: A Survey. WADT 2016: 56-69 - [i17]Patrick Schultz, David I. Spivak, Christina Vasilakopoulou, Ryan Wisnesky:
Algebraic Databases. CoRR abs/1602.03501 (2016) - [i16]Joachim Kock, David I. Spivak:
Homotopy composition of cospans. CoRR abs/1602.08739 (2016) - 2015
- [c2]David I. Spivak, Ryan Wisnesky:
Relational foundations for functorial data migration. DBPL 2015: 21-28 - [i15]Ryan Wisnesky, David I. Spivak, Patrick Schultz, Eswaran Subrahmanian:
Functorial Data Migration: From Theory to Practice. CoRR abs/1502.05947 (2015) - [i14]David I. Spivak, Patrick Schultz, Ryan Wisnesky:
A Purely Equational Formalism for Functorial Data Migration. CoRR abs/1503.03571 (2015) - [i13]Patrick Schultz, David I. Spivak, Ryan Wisnesky:
QINL: Query-integrated Languages. CoRR abs/1511.06459 (2015) - 2014
- [b1]David I. Spivak:
Category Theory for the Sciences. MIT Press 2014, ISBN 9780262028134 - [j2]David I. Spivak:
Database queries and constraints via lifting problems. Math. Struct. Comput. Sci. 24(6) (2014) - [c1]Jason Gross, Adam Chlipala, David I. Spivak:
Experience Implementing a Performant Category-Theory Library in Coq. ITP 2014: 275-291 - [i12]Jason Gross, Adam Chlipala, David I. Spivak:
Experience Implementing a Performant Category-Theory Library in Coq. CoRR abs/1401.7694 (2014) - [i11]Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak:
Type theoretical databases. CoRR abs/1406.6268 (2014) - 2013
- [i10]David I. Spivak:
The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits. CoRR abs/1305.0297 (2013) - [i9]Dylan Rupel, David I. Spivak:
The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes. CoRR abs/1307.6894 (2013) - 2012
- [j1]David I. Spivak:
Functorial data migration. Inf. Comput. 217: 31-51 (2012) - [i8]David I. Spivak:
Database queries and constraints via lifting problems. CoRR abs/1202.2591 (2012) - [i7]David I. Spivak:
Kleisli Database Instances. CoRR abs/1209.1011 (2012) - [i6]David I. Spivak, Ryan Wisnesky:
On The Relational Foundations Of Functorial Data Migration. CoRR abs/1212.5303 (2012) - 2011
- [i5]David I. Spivak:
Ologs: a categorical framework for knowledge representation. CoRR abs/1102.1889 (2011) - 2010
- [i4]David I. Spivak:
Table manipulation in simplicial databases. CoRR abs/1003.2682 (2010) - [i3]David I. Spivak:
Functorial Data Migration. CoRR abs/1009.1166 (2010)
2000 – 2009
- 2009
- [i2]David I. Spivak:
Simplicial Databases. CoRR abs/0904.2012 (2009) - [i1]David I. Spivak:
Higher-dimensional models of networks. CoRR abs/0909.4314 (2009)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
