172 citations · 796 across the 66 of their papers we have counts for
Showing 2021 · math.CTShow all
3 papers · 2 filters
math.CT2021★ 1 cited
Functorial aggregation
David I. Spivak, Richard Garner, Aaron David Fairbanks
We study polynomial comonads and polynomial bicomodules. Polynomial comonads amount to categories. Polynomial bicomodules between categories amount to parametric right adjoint func…
math.CT2021
Regular Calculi I: Graphical Regular Logic
Tslil Clingman, Brendan Fong, David I. Spivak
What is ergonomic syntax for relations? In this first paper in a series of two, to answer the question we define regular calculi: a suitably structured functor from a category repr…
math.CT2021★ 7 cited
Learners' Languages
David I. Spivak
In "Backprop as functor", the authors show that the fundamental elements of deep learning -- gradient descent and backpropagation -- can be conceptualized as a strong monoidal func…