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.
Niles Johnson (Mar 14 2024 at 19:28):In a little over two weeks I'll be giving a talk about my recent paper with Nick Gurski on coherence for pseudomorphisms (details below). The talk will be in-person with a remote option, and I'd be happy to give the details if anyone is interested. (Send me a chat message.)
The paper is arxiv:2312.11261, and I wrote a general-audience overview on this mastodon thread. The main application gives coherence for braided monoidal functors, but the setup is more general.
If that seems like the kind of thing you're interested in, let me know!
Talk details:
Tuesday, 02 April
13:50 Eastern (EDT)
OSU Quantum Symmetries Group
Also, if you just have questions about the paper itself, I'm of course happy to talk about it either here or on mastodon :)
Nathanael Arkor (Mar 15 2024 at 00:46):@Niles Johnson: if you type <time in Zulip, it will give you a time picker that will automatically format the time according to each user's time zone, which makes it easier for people to tell exactly when the talk is. If I converted correctly, it will be ?
Niles Johnson (Mar 15 2024 at 01:59):Thanks; I think I did it now!
Niles Johnson (Mar 26 2024 at 19:56):Reminder: I'll be giving this talk a week from today at . I decided to make the middle half of the talk more accessible with a review/introduction to coherence theorems as characterizations of free algebras. So, if that's something that interests you, let me know and I'll send you the zoom details. I'll also post the slides afterward.