172 citations · 796 across the 66 of their papers we have counts for
5 papers · 1 filter
Regular and relational categories: Revisiting 'Cartesian bicategories I'
Brendan Fong, David I Spivak
Regular logic is the fragment of first order logic generated by , , , and . A key feature of this logic is that it is the minimal fragment required to exp…
Supplying bells and whistles in symmetric monoidal categories
Brendan Fong, David I Spivak
It is common to encounter symmetric monoidal categories for which every object is equipped with an algebraic structure, in a way that is compatible with the monoidal…
Generalized Lens Categories via functors
David I. Spivak
Lenses have a rich history and have recently received a great deal of attention from applied category theorists. We generalize the notion of lens by defining a category $\mathsf{Le…
Temporal Landscapes: A Graphical Logic of Behavior
Brendan Fong, Alberto Speranzon, David I. Spivak
We present an elementary introduction to a new logic for reasoning about behaviors that occur over time. This logic is based on temporal type theory. The syntax of the logic is sim…
Categorical Data Integration for Computational Science
Kristopher Brown, David I. Spivak, Ryan Wisnesky
Categorical Query Language is an open-source query and data integration scripting language that can be applied to common challenges in the field of computational science. We discus…