David Spivak

David Spivak(Q63866129) is a Category Theorist, who helped founded Applied Category Theory and Topos Institute. He has held research positions at the University of Oregon and the Massachusetts Institute of Technology. He is known for his work on applications of category theory to science and engineering, in particular to agent interactions involving communication, learning and planning. He is the author of two introductory texts on category theory and its applications, Category Theory for the Sciences and An Invitation to Applied Category Theory.

Content Link
Book/Category Theory for the Sciences
Book/Seven Sketches in Compositionality
Paper/Behavioral Mereology (Proofs and Properties)
Paper/Evaluating the Pixel Array Method as Applied to Partial Differential Equations
Paper/Geometrical Networks Higher-Dimensional Models of Networks and Databases
Paper/Graphical Regular Logic
Paper/Higher-Dimensional Models of Networks
Paper/Pixel Arrays: A fast and elementary method for solving nonlinear systems
Paper/Simplicial Databases
Slide/Databases = Categories
Slide/Databases are Categories

Content Link
Video/Categorical views of regular, coherent, and geometric logic: from classical to wiring-theoretic
Video/Cats4AI talk: Dynamic organizational systems: from deep learning to prediction markets, David Spivak
Video/David Spivak: Categorical Databases
Video/Seven Sketches in Compositionality