[Alta-Logic] Peripatetic Seminar

[Matthew Burke]

Speaker: Jonathan Gallagher

Date and time: Monday, September 17th, 2018 at 10:00

Location: MS 337

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.

http://peripatetic-seminar.cpsc.ucalgary.ca/wp/