7 citations · 10 across the 5 of their papers we have counts for
5 papers
Structures on Categories of Polynomials
Brandon T. Shapiro, David I. Spivak
We define the monoidal category of polynomials under composition in any category with finite limits, including both cartesian and vertical morphisms…
Dynamic Tracing: a graphical language for rewriting protocols
Kristopher Brown, David I. Spivak
The category Set_* of sets and partial functions is well-known to be traced monoidal, meaning that a partial function S+U -/-> T+U can be coherently transformed into a partial func…
Algebraic Model Management: A Survey
Patrick Schultz, David I. Spivak, Ryan Wisnesky
We survey the field of model management and describe a new model management approach based on algebraic specification.
Categories as mathematical models
David I. Spivak
Written to be contributed as the "mathematical modeling" chapter of a book, edited by Elaine Landry, to be titled "Categories for the Working Philosopher". In this chapter, categor…
Table manipulation in simplicial databases
David I. Spivak
In \cite{Spi}, we developed a category of databases in which the schema of a database is represented as a simplicial set. Each simplex corresponds to a table in the database. There…