172 citations · 796 across the 66 of their papers we have counts for
Showing 2019 · math.CTShow all
3 papers · 2 filters
math.CT2019★ 5 cited
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…
math.CT2019★ 10 cited
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…
math.CT2019★ 7 cited
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…