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
5 papers · 1 filter
Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications
Ugo Dal Lago, Valeria de Paiva
This volume contains a selection of papers presented at Linearity&TLLA 2020, namely the Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications,…
Dirichlet polynomials and entropy
David I. Spivak, Timothy Hosgood
A Dirichlet polynomial in one variable is a function of the form $d({\mathcal{y}})=a_n n^{\mathcal{y}}+\cdots+a_22^{\mathcal{y}}+a_11^{\mathcal{y}}+a_00^{\mathc…
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…
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…
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…