You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Paolo Perrone (Jun 16 2020 at 15:33):Hi all! This is the official stream for Christian Williams'talk, "Structural types for algebraic theories".
Zoom meeting:
https://mit.zoom.us/j/280120646
Meeting ID: 280 120 646
Youtube live stream:
https://youtu.be/4FcOdyiIwhQ
Mike Shulman (Jun 16 2020 at 15:48):It's too bad that this talk conflicts with the HoTTEST seminar.
Paolo Perrone (Jun 16 2020 at 16:00):I know. Sorry about that - unfortunately it's not the only conflicting schedule, in this time of the year.
A video will be available soon after the talk, and this thread will remain open for questions and discussion.
Christian Williams (Jun 18 2020 at 01:16):Here is the paper: https://github.com/cbw124/stat/blob/master/stat.pdf
Here is the presentation: https://github.com/cbw124/stat/blob/master/mit.pdf
Paolo Perrone (Jun 18 2020 at 15:55):Hello all! We start in 5 minutes.
Christian Williams (Jun 18 2020 at 17:31):Thanks everyone! I hope it was informative. Please feel free to talk with me, @Lucius Gregory Meredith, and @Mike Stay about this research, RChain, and any possible connections or collaborations.
Paolo Perrone (Jun 18 2020 at 21:08):Hello all! Here's the video. The HD version will be available soon (same link).
https://youtu.be/aJyxtUopJ74
