Title: Generalized Algebraic Theories and Differential Objects
Abstract: We introduce enriched algebraic theories with generalized arities, and see how this can be applied to tangent categories. In particular, we will show that every tangent category embeds into a so-called linear/nonlinear system between a monoidal differential category and cartesian tangent category.
This is part of an ongoing collaboration with Jonathan Gallagher and others.
