[Alta-Logic] Peripatetic Seminar for 2025 February 21

[Geoff Vooys]

Hi Everybody,

This week in the Peripatetic Seminar I'll continue our discussion regarding the category of commutative rigs and their Kahler differentials in an introductory fashion similar to last week's talk. I've given the abstract following the body of this email, but just a friendly reminder that we're doing the Peripatetic Social Outing (TM) from 16:00 — 18:00 after the talk. I'll be emailing a separate email with more details, but the basic idea is for people to leave from the seminar together to go to the Farmer's Market.

Cheers,
Geoff

Title: More on the Categorical and Differential Algebra of Commutative Rigs

Location: ICT 616

Time: 14:00 — 15:00 Friday 2025 February 21

Abstract: In this talk we'll continue our friendly introduction to the differential algebraic theory of commutative rings by moving towards answering the question: ``In what sense are the Kahler differentials functorial in the first place?'' We'll start by introducing fibrations and their morphisms, move on to briefly discussing the Grothendieck Construction (which allows one to move between fibrations and pseudofunctors, depending on taste),  and then explain the sense in which taking the module of relative Kahler differentials is functorial in CRig.

The scope and vibes of this talk are meant to be more relaxed and informal, so if you've never met rigs before and want to get to know how their differential algebra works this is a fantastic opportunity (which of course I'd say, for I am the speaker) to see. Alternatively, this makes precise many constructions involving Kahler differentials which are at best ad-hoc in traditional commutative ring theory.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20250220/b2490bf8/attachment.html>