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.
John Baez said:
Here's the schedule of the Friday February 5th 2021 meeting of the Yorkshire and Midlands Category Theory Seminar. There will be three talks.
YaMCATS - Friday 5th February - University of Leeds (via Zoom)
All times are UK (GMT = UTC+00:00).14:30-15:30 Martin Escardo (University of Birmingham), Equality of mathematical structures
15:30-16:30 Sina Hazratpour (University of Leeds), Kripke-Joyal semantics for dependent type theory
16:30-17:00 Break
17:00-18:00 John Baez, Structured versus decorated cospans
Btw, I haven't checked the details of how it works, but I think this Zulip is now being published openly on the web, so there could be some web crawlers looking for the word "passcode". Maybe it doesn't matter, but just FYI.
Uh, that's an interesting issue.
Maybe we could have these kind of announcements in #general: events (keeping the streams for discussion) and then I setup the archive so to skip #general: events
yeah, you definitely have to be careful about zoombombing, unfortunately.
I have now slightly obfuscated the information in my original post, but if that's already been copied to the web it's no use.
(How quickly are posts here published on the web? If you correct one, does the correction replace the original?)