Spivak, David I.
- 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
- Temporal Type Theory: A topos-theoretic approach to systems and behavior
2017/10/27 by Patrick Schultz, Schultz, Patrick, David I. Spivak +1 · 3 voices · 1 citation
Computer Science · #math.CT #math.LO
- 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
- 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
- Dynamical Systems and Sheaves
2016/09/26 by Schultz, Patrick, Spivak, David I., Vasilakopoulou, Christina · 2 citations
#18D10 #18F20 #93A13 #Category Theory (math.CT) #FOS: Mathematics
- Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams
2014/08/07 by Vagner, Dmitry, Spivak, David I., Lerman, Eugene · 2 citations
#18B20 #18D50 #34G10 #34G20 #37C60 #93C35 #B.4.3 #Category Theory (math.CT) #Dynamical Systems (math.DS) #FOS: Mathematics
- 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
- 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
- Monitoring and Diagnosability of Perception Systems
2020/11/11 by Antonante, Pasquale, Spivak, David I., Carlone, Luca · 1 citation
#Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Robotics (cs.RO)
- The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes
2013/07/25 by Rupel, Dylan, Spivak, David I. · 1 citation
#08A70 #18B20 #18D50 #68Q05 #91B74 #92B20 #93A13 #B.5.2 #B.7.2 #C.0 #C.1 #Category Theory (math.CT) #D.2.2 #D.2.6 #D.3.3 #F.1.1 #F.4.3 #FOS: Biological sciences #FOS: Computer and information sciences #FOS: Mathematics #Neurons and Cognition (q-bio.NC) #Programming Languages (cs.PL)
- 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