Jonathan Gallagher

Date: September 17, 2018

Time: 10:00-12:00

Location: MS 337

Talk

Title: Every CDC embeds into the coKleisli category of a monoidal differential category
Abstract: The coKleisli category of a monoidal differential category is always a Cartesian differential category. However, it seems that not every CDC arises this way. In the category of smooth maps between finite dimensional real vector spaces, there does not appear to be a “bang” on the subcategory of linear maps, as the “bang” should give rise to an infinite dimensional space. However, the question of whether any CDC embeds into a coKleisli category of some monoidal differential category has been floating around for a while. This talk will address this question directly.