Category Theory
Zulip Server
Archive

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.


Stream: event: YAMCaTS

Topic: 2021 February 5 meeting (published archives)


view this post on Zulip Eric Forgy (Jan 31 2021 at 22:51):

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.

view this post on Zulip Matteo Capucci (he/him) (Jan 31 2021 at 23:08):

Uh, that's an interesting issue.

view this post on Zulip Matteo Capucci (he/him) (Jan 31 2021 at 23:09):

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

view this post on Zulip Christian Williams (Feb 01 2021 at 02:24):

yeah, you definitely have to be careful about zoombombing, unfortunately.

view this post on Zulip John Baez (Feb 01 2021 at 05:18):

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?)