172 citations · 796 across the 66 of their papers we have counts for
3 papers · 2 filters
Dynamical Systems and Sheaves
Patrick Schultz, David I. Spivak, Christina Vasilakopoulou
A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as `machines' with inputs and outputs, carrying some sor…
Homotopy composition of cospans
Joachim Kock, David I. Spivak
It is well known that the category of finite sets and cospans, composed by pushout, contains the universal {\em special} commutative Frobenius algebra. In this note we observe that…
Algebraic Databases
Patrick Schultz, David I. Spivak, Christina Vasilakopoulou +1
Databases have been studied category-theoretically for decades. The database schema -- whose purpose is to arrange high-level conceptual entities -- is generally modeled as a categ…