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.
David Spivak (Mar 26 2020 at 16:00):the talk will be here:
https://zoom.us/j/667324456?pwd=akVmZlM4T01uZjlpZzl1VEpSRW1Vdz09
Björn Gohla (Mar 26 2020 at 16:03):Zoom asks for a password to join the meeting
Philipp G. Haselwarter (Mar 26 2020 at 16:09):@Björn Gohla I think you can use the pwd= part of the URL, i.e. akVmZlM4T01uZjlpZzl1VEpSRW1Vdz09
I managed to connect to the video stream of the meeting, but I don't have audio. Might be a problem with the Zoom Linux client though.
Niels Voorneveld (Mar 26 2020 at 16:15):I have audio. But I had to select: "join with computer audio" when joining.
Philipp G. Haselwarter (Mar 26 2020 at 16:26):Found it, the audio setting are hidden behind the arrow next to the big scary Unmute button
David Jaz (Mar 26 2020 at 17:14):Hi everyone, I'm here to chat about doing category theory in HoTT!
David Michael Roberts (Mar 26 2020 at 23:25):Can people give a time (pref UTC) when talks are held? I have no idea if this is now or earlier or in the future.
Paolo Perrone (Mar 26 2020 at 23:41):Hi! The MIT Categories Seminar talks are generally given on Thursdays at 12 noon, Boston time.
Paolo Perrone (Mar 26 2020 at 23:42):If you missed today's talk, here's the video: https://youtu.be/nalC40POVLU
Robert Smart (Mar 28 2020 at 04:27):Is there any reason why the morphisms of a precategory are given as a Set, rather than as a dependent type depending on the end points?
Ulrik Buchholtz (Mar 28 2020 at 08:15):Robert Smart said:
Is there any reason why the morphisms of a precategory are given as a Set, rather than as a dependent type depending on the end points?
If you look at the definition here, the morphisms are indeed indexed on the end points.
BTW, @David Jaz, nice talk!