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.
Nicola Gambino (Sep 01 2023 at 15:14):The 32nd meeting of the Yorkshire and Midlands Category Theory Seminar (YAMCATS) will take place on Thursday 14th September at the University of Cambridge. The speakers will be:
Details of the meeting will be available from this web page.
The meeting is generously supported by the London Mathematical Society.
With best regards,
Nicola (on behalf of the YaMCATS organisers)
John Baez (Sep 02 2023 at 10:12):Sojakova's talk on "syllepsis for syllpsesis" sounds interesting to the n-category theorists:
Abstract: It is well-known that in homotopy type theory one can prove the Eckmann-Hilton theorem: any two loops p and q on reflexivity commute. If we go one dimension higher, that is, if p and q are loops on iterated reflexivity, a property known as syllepsis also holds: the Eckmann-Hilton proof for q and p is the inverse of the Eckmann-Hilton proof for p and q. We revisit the original HoTT proof of syllepsis and present it in a more conceptual way that avoids the explicit use of (too much) path algebra. This approach allows us to go further and prove higher coherences about the proof of syllepsis itself - ultimately leading to syllepsis for syllepsis.