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.
Morgan Rogers (he/him) (Jun 11 2021 at 12:02):I am aware of other talks happening at the Topos Institute; are there existing threads for this somewhere? @Tim Hosgood is this an appropriate stream in which to start them?
Morgan Rogers (he/him) (Jun 11 2021 at 12:05):Specifically I know that @Gurkenglas is interested in discussing a categorical foundation for Scott Garrabant's talk on finite factored sets.
Tim Hosgood (Jun 11 2021 at 15:10):when were these talks given? i'm not aware of any other seminars currently running, but maybe this was some talk given at the AI safety summit recently?
Morgan Rogers (he/him) (Jun 11 2021 at 17:23):On Youtube it's in the playlist "Finding the right abstractions" on the Topos Institute channel.
Tim Hosgood (Jun 11 2021 at 17:35):ah yes, this is from the AI safety summit. there's not a specific zulip thread for this, so feel free to just start a new thread wherever best suits. not sure if there's a stream for discussion of papers/talks (@Matteo Capucci (he/him) ?)
John Baez (Jun 12 2021 at 01:37):I guess that snce this summit was a "by invitation only" get-together, it wasn't advertised here. But the videos are available so people should feel free to talk about 'em!
Matteo Capucci (he/him) (Jun 14 2021 at 08:48):Tim Hosgood said:
ah yes, this is from the AI safety summit. there's not a specific zulip thread for this, so feel free to just start a new thread wherever best suits. not sure if there's a stream for discussion of papers/talks (Matteo Capucci (he/him) ?)
uh, there's not a specific one
Matteo Capucci (he/him) (Jun 14 2021 at 08:50):I'm always wary of creating new streams... After all, these would be topics 'starting from' a talk, but of general interest
Matteo Capucci (he/him) (Jun 14 2021 at 08:51):But if you feel like they deserve their own stream is fine for me
Morgan Rogers (he/him) (Jun 14 2021 at 13:00):I started a topic on the other stream, but @Gurkenglas hasn't come back to see it yet, I think. I'll give them a nudge, the ideas were interesting.