15 citations · 19 across the 4 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2023
All Concepts are
Owen Lynch, Brandon T. Shapiro, David I. Spivak
We show that the double category of comonoids in the category of polynomial functors (previously shown by Ahman-Uustalu and Garner to be equivalent to th…
math.CT2021★ 15 cited
Categorical Data Structures for Technical Computing
Evan Patterson, Owen Lynch, James Fairbanks
Many mathematical objects can be represented as functors from finitely-presented categories to . For instance, graphs are functors to from…