[Alta-Logic] Fwd: Peripatetic Seminar

[Benjamin MacAdam]

I forgot the Zoom invite:

Benjamin MacAdam is inviting you to a scheduled Zoom meeting.

Topic: Peripatetic Seminar: Ben MacAdam
Time: May 1, 2020 01:00 PM Edmonton

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

Meeting ID: 993 4771 0290
One tap mobile
+12532158782,,99347710290# US (Tacoma)
+13017158592,,99347710290# US (Germantown)

Dial by your location
+1 253 215 8782 US (Tacoma)
+1 301 715 8592 US (Germantown)
+1 312 626 6799 US (Chicago)
+1 346 248 7799 US (Houston)
+1 646 558 8656 US (New York)
+1 669 900 6833 US (San Jose)
Meeting ID: 993 4771 0290
Find your local number: https://ucalgary.zoom.us/u/actXatuIii

Join by SIP
99347710290 at zoomcrc.com<mailto:99347710290 at zoomcrc.com>

Join by H.323
162.255.37.11 (US West)
162.255.36.11 (US East)
69.174.57.160 (Canada)
Meeting ID: 993 4771 0290

Join by Skype for Business
https://ucalgary.zoom.us/skype/99347710290

-Ben
---------- Forwarded message ----------
From: Benjamin MacAdam <benjamin.macadam at ucalgary.ca>
Date: Apr 30, 2020, 2:59 PM -0600
To: alta-logic-l at mailman.ucalgary.ca <alta-logic-l at mailman.ucalgary.ca>
Subject: [Alta-Logic] Peripatetic Seminar

Hi Everyone,

Jonathan’s talk has been postponed, so I will fill in.

Speaker: Ben MacAdam
Title: Microlinear Lawvere theories
Time: 1:00 PM, Calgary time on Zoom
Abstract:
In this talk we introduce Microlinear Lawvere theories, and show that differential objects in cartesian tangent categories are an example. One of the more striking applications of this theory is that every tangent category embeds into the Eilenberg-Moore category of a tensor differential category.

(Joint work with Jonathan Gallagher and Rory Lucyshyn-Wright)

-Ben
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20200430/fe268f15/attachment.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: ATT00001.txt
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20200430/fe268f15/attachment.txt>