David I. Spivak

1. Seven Sketches in Compositionality: An Invitation to Applied Category\n Theory
   2018/03/14 by Brendan Fong, David I Spivak, David I. Spivak +2 · 16 voices · 19 citations
   Business, Management and Accounting · Computer Science · Decision Sciences · Mathematics · #Fuzzy and Soft Set Theory #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Optics and Image Analysis #math.CT
2. Category theory for scientists (Old version)
   2013/02/27 by David I. Spivak, Spivak, David I. · 3 voices · 1 citation
   Computer Science · #Multi-Agent Systems and Negotiation #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
3. Temporal Type Theory: A topos-theoretic approach to systems and behavior
   2017/10/27 by Patrick Schultz, David I. Spivak, Schultz, Patrick +1 · 3 voices · 1 citation
   Computer Science · #math.CT #math.LO
4. Functorial Data Migration
   2010/09/06 by David I. Spivak, Spivak, David I. · 4 citations
   Computer Science · #Advanced Database Systems and Queries #Semantic Web and Ontologies #Service-Oriented Architecture and Web Services
5. The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits
   2013/05/01 by David I. Spivak, Spivak, David I. · 4 citations
   Computer Science · #03B10 #03B70 #03D20 #18A15 #18B10 #18D50 #68P15 #94C99 #B.6 #Category Theory (math.CT) #D.1.6 #D.3.3 #Databases (cs.DB) #E.1 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #G.2.2 #G.4 #H.2.1 #H.2.3 #H.5 #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
6. Hypergraph categories
   2019/02/21 by Brendan Fong, David I. Spivak · 3 citations
   Mathematics · Medicine · #Homotopy and Cohomology in Algebraic Topology #Intracranial Aneurysms: Treatment and Complications
7. Dynamical Systems and Sheaves
   2019/04/05 by Patrick Schultz, David I. Spivak, Christina Vasilakopoulou · 2 citations
8. Polynomial Functors: A Mathematical Theory of Interaction
   2023/12/02 by Nelson Niu, David I. Spivak, Niu, Nelson +1 · 3 voices · 2 citations
   #math.CT
9. Hypergraph Categories
   2018/06/21 by Brendan Fong, Fong, Brendan, David I. Spivak +1 · 1 citation
   Mathematics · Medicine · #Homotopy and Cohomology in Algebraic Topology #Intracranial Aneurysms: Treatment and Complications
10. Algebraic Databases
    2016/02/10 by Patrick Schultz, David I. Spivak, Schultz, Patrick +5 · 2 voices
    Computer Science · Mathematics · #18C10 #18D05 #68P15 #Category Theory (math.CT) #Databases (cs.DB) #FOS: Computer and information sciences #FOS: Mathematics #cs.DB #math.CT
11. What kind of linearly distributive category do polynomial functors form?
    2024/07/01 by David I. Spivak, Priyaa Varshinee Srinivasan, Spivak, David I. +1 · 1 citation
    Mathematics · #18B99 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #F.4.1 #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
12. Comonads as spaces
    2026/07/16 by Aaron David Fairbanks, Kevin Carlson, David I. Spivak
    #math.CT