Ben MacAdam

Date: September 20, 2019
Time: 12:00 am - 12:00 am
Location: ICT 616

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.