Home
Proofs
Library
Chat
Docs
Notif.
Billing
Settings
Sign in
home
library
authors
David Spivak
David Spivak
Publications
Polynomial Functors and Shannon Entropy. David I. Spivak. 2022.
A Reference for Categorical Structures on ππ¨π₯π². David I. Spivak. 2022.
Functorial Aggregation. David I. Spivak. 2022.
Dirichlet Polynomials and Entropy. David I. Spivak, Timothy Hosgood. 2021.
Poly: An Abundant Categorical Setting for Mode-Dependent Dynamics. David I. Spivak. 2020.
Hypergraph Categories. Brendan Fong, David I Spivak. 2019.
Categorical Data Integration for Computational Science. Kristopher Brown, David I. Spivak, Ryan Wisnesky. 2019.
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior. Patrick Schultz, David I. Spivak. 2017.
Algebraic Databases. Patrick Schultz, David I. Spivak, Christina Vasilakopoulou, Ryan Wisnesky. 2016.
Relational Foundations for Functorial Data Migration. David I. Spivak, Ryan Wisnesky. 2015.
QINL: Query-Integrated Languages. Patrick Schultz, David I. Spivak, Ryan Wisnesky. 2015.
Type Theoretical Databases. Henrik Forssell, HΓ₯kon Robbestad Gylterud, David I. Spivak. 2014.
Functorial Data Migration. David I. Spivak. 2013.