42 citations
- Evan Patterson2 profiles10 · h 12
- David I. Spivak2 profiles5 · h 27
- James P. Fairbanks5 · h 10
- Sophie Libkind2 profiles4 · h 6
- Andre Baas3 · h 5
- B. Shapiro2 · h 4
- Michael Lambert2 · h 1
- Owen Lynch2 profiles2 · h 3
- Timothy Hosgood2 profiles2 · h 1
- T. S. C. Smithe2 · h 6
- T. St. Clere Smithe2 · h 0
- Valeria C V de Paiva2 · h 28
- Topos Institute24 papers
- University of FloridaUS5 papers
- Georgia Institute of TechnologyUS3 papers
- Georgia Tech Research Institute3 papers
- Stanford UniversityUS3 papers
- University of Massachusetts BostonUS2 papers
- Cornell UniversityUS1 paper
- Eindhoven University of TechnologyNL1 paper
- Freie Universität BerlinDE1 paper
- Louisiana State UniversityUS1 paper
- Max Planck Institute of Animal BehaviorDE1 paper
- Monash UniversityAU1 paper
Showing 2021 · math.CTShow all
3 papers · 2 filters
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…
math.CT2021★ 16 cited
Operadic Modeling of Dynamical Systems: Mathematics and Computation
Sophie Libkind, Andrew Baas, Evan Patterson +1
Dynamical systems are ubiquitous in science and engineering as models of phenomena that evolve over time. Although complex dynamical systems tend to have important modular structur…
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…