66 citations · 295 across the 23 of their papers we have counts for
4 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…
Lenses and Learners
Brendan Fong, Michael Johnson
Lenses are a well-established structure for modelling bidirectional transformations, such as the interactions between a database and a view of it. Lenses may be symmetric or asymme…
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…