[Alta-Logic] Peripatetic Seminar for 2025 February 14

[Geoff Vooys]

Hi Everybody,

This week in the Peripatetic Seminar I will be giving the talk on the differential algebra of commutative rigs and some of the things that you can do with this. The talk itself will be at a relatively introductory level so that everyone can hopefully follow along and get something out of it. An abstract and details follow the detail of the email, so I hope to see you all there!

Cheers,
Geoff

Title: The Differential Algebra of Commutative Rigs: Derivations and Differentials

Time: 14:00 — 15:00 on 2025 February 14.

Location: ICT 616

Abstract: In the last talk I gave on commutative rigs, we got to know a bit about how the categories of commutative rig algebras and their modules interact together. In this talk we'll continue towards our ultimate goal of understanding the differential/algebraic geometry of rigs by getting to know how the theory of derivations and differentials interacts with rigs. I'll start by recalling our main cast of characters, define what it means to be a derivation, define the rig module of Kahler differentials, and then start to show some of the properties these modules have. Depending on time we'll discuss how to encode derivations as solutions to specific lifting problems and/or in what sense the Kahler differentials construction is functorial. This talk will be relatively gentle in delivery, so all are encouraged to come and see how cool rigs are!


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20250214/e42c1fec/attachment.html>