[Alta-Logic] Peripatetic Seminar

[Benjamin MacAdam]

Hi Everyone,

There is a peripatetic seminar on Friday. To watch previous seminars, you can find the zoom recordings on the peripatetic seminar website,
https://peripatetic-seminar.cpsc.ucalgary.ca/wp/

Speaker: Chad Nester
Time: 1:00 PM, Zoom invite is below.
Title: String Diagrams for Regular Restriction Categories

Abstract: I will discuss how cartesian restriction categories can be reasoned about using string diagrams for monoidal categories, including how this extends to regular restriction categories. Specifically, we will see that every cartesian bicategory of relations (in the sense of Carboni and Walters) has a regular restriction category of partial maps as a subcategory, and that from a regular restriction category we can construct the category of relations of which it is the partial map subcategory. This all works whether or not our restriction categories are split.

Benjamin MacAdam is inviting you to a scheduled Zoom meeting.

Topic: Peripatetic Seminar: Chad Nester
Time: Apr 10, 2020 01:00 PM Edmonton

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

Meeting ID: 837 797 909
One tap mobile
+13017158592,,837797909# US
+13126266799,,837797909# US (Chicago)

Dial by your location
+1 301 715 8592 US
+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)
+1 253 215 8782 US
Meeting ID: 837 797 909
Find your local number: https://ucalgary.zoom.us/u/adJkhRlWY

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

Join by H.323
162.255.37.11 (US West)
162.255.36.11 (US East)
221.122.88.195 (China)
115.114.131.7 (India Mumbai)
115.114.115.7 (India Hyderabad)
213.19.144.110 (EMEA)
103.122.166.55 (Australia)
209.9.211.110 (Hong Kong)
64.211.144.160 (Brazil)
69.174.57.160 (Canada)
207.226.132.110 (Japan)
Meeting ID: 837 797 909

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

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