42 citations
- Evan Patterson2 profiles10 · h 12
- David I. Spivak2 profiles6 · h 27
- James P. Fairbanks5 · h 10
- Sophie Libkind2 profiles4 · h 6
- Andre Baas3 · h 5
- Owen Lynch2 profiles3 · h 3
- B. Shapiro2 · h 4
- J. Baez2 · h 57
- Michael Lambert2 · h 1
- Timothy Hosgood2 profiles2 · h 1
- T. S. C. Smithe2 · h 6
- T. St. Clere Smithe2 · h 0
- ToposUS24 papers
- University of FloridaUS5 papers
- Georgia Institute of TechnologyUS3 papers
- Georgia Tech Research Institute3 papers
- Stanford UniversityUS3 papers
- University of California, RiversideUS2 papers
- University of Massachusetts BostonUS2 papers
- Utrecht UniversityNL2 papers
- Centre for Quantum TechnologiesSG1 paper
- Cornell UniversityUS1 paper
- Eindhoven University of TechnologyNL1 paper
- Freie Universität BerlinDE1 paper
6 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,…
Compositional Thermostatics
John C. Baez, Owen Lynch, Joe Moeller
We define a thermostatic system to be a convex space of states together with a concave function sending each state to its entropy, which is an extended real number. This definition…
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…