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.