David I. Spivak

Identifiers

• name variant David I. Spivak 0.60 · backfill

Papers (31)

1. Functorial aggregation math.CT · 2021 · author #1
2. Categorical Data Integration for Computational Science cs.DB · 2019 · author #2
3. Evaluating the Pixel Array Method as Applied to Partial Differential Equations math.AP · 2018 · author #2
4. Abstraction, Composition and Contracts: A Sheaf Theoretic Approach cs.LO · 2018 · author #2
5. Backprop as Functor: A compositional perspective on supervised learning math.CT · 2017 · author #2
6. Temporal Type Theory: A topos-theoretic approach to systems and behavior math.CT · 2017 · author #2
7. Dynamical Systems and Sheaves math.CT · 2016 · author #2
8. Pixel Arrays: A fast and elementary method for solving nonlinear systems math.NA · 2016 · author #1
9. Pixel matrices: An elementary technique for solving nonlinear systems cs.NA · 2016 · author #1
10. An algebra of open continuous time dynamical systems and networks math.DS · 2016 · author #2
11. The steady states of coupled dynamical systems compose according to matrix arithmetic math.DS · 2015 · author #1
12. QINL: Query-integrated Languages cs.PL · 2015 · author #2
13. String diagrams for traced and compact categories are oriented 1-cobordisms math.CT · 2015 · author #1
14. Toward formalizing ologs: Linguistic structures, instantiations, and mappings math.CT · 2015 · author #2
15. Nesting of dynamic systems and mode-dependent networks math.DS · 2015 · author #1
16. Functorial Data Migration: From Theory to Practice cs.DB · 2015 · author #2
17. Categories as mathematical models math.CT · 2014 · author #1
18. Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams math.CT · 2014 · author #2
19. The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes math.CT · 2013 · author #2
20. The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits cs.DB · 2013 · author #1
21. Category theory for scientists (Old version) math.CT · 2013 · author #1
22. Relational Foundations For Functorial Data Migration cs.DB · 2012 · author #1
23. Kleisli Database Instances cs.DB · 2012 · author #1
24. Database queries and constraints via lifting problems math.CT · 2012 · author #1
25. Ologs: a categorical framework for knowledge representation cs.LO · 2011 · author #1
26. Functorial Data Migration cs.DB · 2010 · author #1
27. Table manipulation in simplicial databases cs.DB · 2010 · author #1
28. Mapping spaces in Quasi-categories math.AT · 2009 · author #2
29. Rigidification of quasi-categories math.CT · 2009 · author #2
30. Higher-dimensional models of networks cs.NI · 2009 · author #1
31. Simplicial Databases cs.DB · 2009 · author #1

Mentions

• 1511.06459 #2 · backfill · confidence 0.70 David I. Spivak
• 1802.03080 #2 · arxiv_oai · confidence 0.70 David I. Spivak
• 1609.00061 #1 · arxiv_oai · confidence 0.70 David I. Spivak
• 1605.00190 #1 · arxiv_oai · confidence 0.70 David I. Spivak
• 1508.01069 #1 · backfill · confidence 0.70 David I. Spivak
• 1503.08326 #2 · backfill · confidence 0.70 David I. Spivak
• 1502.07380 #1 · backfill · confidence 0.70 David I. Spivak
• 1502.05947 #2 · backfill · confidence 0.70 David I. Spivak
• 1409.6067 #1 · backfill · confidence 0.70 David I. Spivak
• 1408.1598 #2 · backfill · confidence 0.70 David I. Spivak
• 1307.6894 #2 · backfill · confidence 0.70 David I. Spivak
• 1305.0297 #1 · backfill · confidence 0.70 David I. Spivak
• 1302.6946 #1 · backfill · confidence 0.70 David I. Spivak
• 1212.5303 #1 · backfill · confidence 0.70 David I. Spivak
• 2111.10968 #1 · arxiv_oai · confidence 0.70 David I. Spivak
• 1209.1011 #1 · backfill · confidence 0.70 David I. Spivak
• 1202.2591 #1 · backfill · confidence 0.70 David I. Spivak
• 1102.1889 #1 · backfill · confidence 0.70 David I. Spivak
• 1009.1166 #1 · backfill · confidence 0.70 David I. Spivak
• 1003.2682 #1 · backfill · confidence 0.70 David I. Spivak
• 0911.0469 #2 · backfill · confidence 0.70 David I. Spivak
• 0910.0814 #2 · backfill · confidence 0.70 David I. Spivak
• 0909.4314 #1 · backfill · confidence 0.70 David I. Spivak
• 0904.2012 #1 · backfill · confidence 0.70 David I. Spivak

Frequent Coauthors

• Patrick Schultz 5 shared papers
• Ryan Wisnesky 4 shared papers
• Daniel Dugger 2 shared papers
• Dylan Rupel 2 shared papers
• Eugene Lerman 2 shared papers
• Aaron David Fairbanks 1 shared papers
• Alberto Speranzon 1 shared papers
• Brendan Fong 1 shared papers
• Christina Vasilakopoulou 1 shared papers
• Cynthia T. Liu 1 shared papers
• Dmitry Vagner 1 shared papers
• Eswaran Subrahmanian 1 shared papers
• Joshua Z. Tan 1 shared papers
• Kristopher Brown 1 shared papers
• Lawrence Wu 1 shared papers
• Magdalen R. C. Dobson 1 shared papers
• Marco A. P\'erez 1 shared papers
• R\'emy Tuy\'eras 1 shared papers
• Richard Garner 1 shared papers
• Robert E. Kent 1 shared papers