[Alta-Logic] Peripatetic Seminar/New policy

[Benjamin MacAdam]

Hi everyone,

There will be a peripatetic seminar tomorro!

Also, there are lots of category theorists on category theory Zulip chat channel. UCR and MIT are advertising their talks there, and I thought it would be a good idea to start advertising our seminar there as well. However, I know that not everyone will want to present to that large of an audience. For the new policy, talks will only be advertised as public seminar if the speaker wants it to be.

Speaker: Cole Comfort
Time: 1:00PM Calgary time
Title: The ZX& calculus
Abstract: Consider ZX&, the fragment of the ZX calculus generated by the copying/addition Frobenius algebras, the not gate and the and gate.  I prove that this fragment is complete and universal for a prop of spans of sets, by freely adding units and counits to the inverse products of TOF (the category generated by the Toffoli gate and computational basis states/effects).  To prove completeness, I first show show that adding a counit to TOF is the same as computing the classical channels, which is the the same as the discrete Cartesian completion.  The completeness of ZX& is obtained via a two way translation between this extension of TOF with units and counits, and ZX&.

Zoom invite:
Benjamin MacAdam is inviting you to a scheduled Zoom meeting.

Topic: Peripatetic Seminar
Time: Mar 27, 2020 01:00 PM Edmonton

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

Meeting ID: 703 950 579

One tap mobile
+13462487799,,703950579# US (Houston)
+16465588656,,703950579# US (New York)

Dial by your location
+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
+1 301 715 8592 US
+1 312 626 6799 US (Chicago)
Meeting ID: 703 950 579
Find your local number: https://ucalgary.zoom.us/u/adJkhRlWY

Join by SIP
703950579 at zoomcrc.com<mailto:703950579 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: 703 950 579

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

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