David I. Spivak

activity

20082023

most citedOlogs: a categorical framework for knowledge representation

172 citations · 796 across the 66 of their papers we have counts for

collaborators

Showing 2023 · math.CTShow all

2 papers · 2 filters

math.CT2023

Structures on Categories of Polynomials

Brandon T. Shapiro, David I. Spivak

We define the monoidal category $(P o l y_{E}, y, ◃)$ of polynomials under composition in any category $E$ with finite limits, including both cartesian and vertical morphisms…

math.CT2023

All Concepts are $C at^{#}$

Owen Lynch, Brandon T. Shapiro, David I. Spivak

We show that the double category $C at^{#}$ of comonoids in the category of polynomial functors (previously shown by Ahman-Uustalu and Garner to be equivalent to th…

Structures on Categories of Polynomials

All Concepts are Cat#

All Concepts are $C at^{#}$