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.