[Alta-Logic] Peripatetic on Friday

[JS Lemay]

Hi all,

Thank you to those who attended my talk.
And for those that couldn’t (and those that did) I’m attaching the notes from today and as well as some slides I gave on the topic at another seminar, YAMCATS.

Have a great weekend everyone!
JS



On Jan 20, 2021, at 5:55 PM, Ben MacAdam <benjamin.macadam at ucalgary.ca<mailto:benjamin.macadam at ucalgary.ca>> wrote:

Hi Everyone,

There will be a peripatetic seminar this Friday:

Date and Time: 1:00PM on Friday, January 22

Join Zoom Meeting
https://ucalgary.zoom.us/j/93373993423

Meeting ID: 933 7399 3423
Password: 248135

Speaker: JS Lemay
Title: Characterizing Cofree Cartesian Differential Categories

Abstract: Cartesian differential categories come equipped with a differential operator which formalizes the derivative from multivariable calculus. There has recently been renewed interest in cofree Cartesian differential categories. For any Cartesian left additive category X there exists a cofree Cartesian differential category Faa(X) over it, which satisfies the expected couniversal property, and this construction is known as the Faa di Bruno construction. A natural question to ask is whether well-known examples of Cartesian differential categories?

Therefore, we would like to answer the following: starting with only an arbitrary Cartesian differential category, how can we check if it is a cofree Cartesian differential category without knowing the base Cartesian left additive category?

In this talk, we will provide a characterization of cofree Cartesian differential categories using only internal structure, that is, as categories enriched over complete ultrametric spaces (where the metric is similar to that of power series) and whose base Cartesian left additive category is induced by maps whose derivative is zero. A consequence of this result is that the induced cofree Cartesian differential category comonad is of effective descent type. Furthermore, we also explain how many well-known Cartesian differential categories are NOT cofree.

This talk should be accessible to everyone! Even those unfamiliar with differential categories.

Regards,
Ben
_______________________________________________
This message was sent to all subscribers of alta-logic-l
To unsubscribe, see instructions at:
http://www.ucalgary.ca/it/email/mailman

E-mail: alta-logic-l at mailman.ucalgary.ca
Homepage: https://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20210122/2a6f9ef9/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: YAMCATS2020.pdf
Type: application/pdf
Size: 584446 bytes
Desc: YAMCATS2020.pdf
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20210122/2a6f9ef9/attachment.pdf>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: My Note 25.pdf
Type: application/pdf
Size: 5392873 bytes
Desc: My Note 25.pdf
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20210122/2a6f9ef9/attachment-0001.pdf>