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: Polynomial Functors @ Topos

Topic: general information

Tim Hosgood (Mar 15 2021 at 14:22):

https://topos.site/p-func-2021-workshop

Tim Hosgood (Mar 15 2021 at 14:23):

Here are the speakers and the timetable, to save everybody a click:
Screenshot-2021-03-15-at-14.22.16.png
Screenshot-2021-03-15-at-14.22.27.png

Tim Hosgood (Mar 15 2021 at 14:24):

we'll have a separate topic for each talk, but you can post any general questions in this thread :smile:

Tim Hosgood (Mar 15 2021 at 14:31):

here is the YouTube link for all four of tonight's talks: https://www.youtube.com/watch?v=B8STLcbEGrE

Steve Awodey (Mar 15 2021 at 14:37):

Is this in addition to zoom, or instead of it?

Tim Hosgood (Mar 15 2021 at 14:41):

in addition: the Zoom is for registered participants, and the YouTube is for the general public

Tim Hosgood (Mar 15 2021 at 14:41):

if you've registered for the workshop then you should be getting an email with Zoom details etc. shortly

Steve Awodey (Mar 15 2021 at 20:03):

It would be nice to know where everyone is from - is there a list of participants with their affiliations?

Tim Hosgood (Mar 16 2021 at 18:34):

unfortunately it doesn't seem like we can get such a thing, since we didn't enable registration through Zoom

Tim Hosgood (Mar 16 2021 at 18:35):

here's the YouTube link for tonight's talks!
https://www.youtube.com/watch?v=-klwGDWN54s

Conor McBride (Mar 17 2021 at 00:27):

I'd just like to say thanks. This workshop is really making me happy.

Jacques Carette (Mar 17 2021 at 00:51):

Oh good, now I know I have something to look forward to. Just managed to catch up to a single talk up to now. It's extremely annoying to have so many teaching + admin duties that I know it'll take me many many days before I can actually watch the talks, and may not get to watch any more of them live.

Joachim Kock (Mar 17 2021 at 14:43):

Conor McBride said:

I'd just like to say thanks. This workshop is really making me happy.

Thanks, Conor :-) It was nice to see you, even if it was just in a little window.
I enjoy your various remarks at the workshop. Some of them, slogans I will have to think a lot about before I can grasp them!

Joachim Kock (Mar 17 2021 at 14:56):

Steve Awodey said:

It would be nice to know where everyone is from - is there a list of participants with their affiliations?

Hi Steve,
that could be nice, to help networking.
I don't know it is reaslly feasible though. We do have a list of 300 registered participants, but not their affiliations. And I don't know if it would be correct to publish it. It would also not be completely faithful, because in practice we are only around 100 participants (150 at the peak so far). Not sure what to do...
Cheers, Joachim.

Steve Awodey (Mar 17 2021 at 17:27):

No problem - it was just a thought (like at a normal conference), if it was easy to do.

D.G. Berry (Mar 17 2021 at 17:28):

Participants could be encouraged to give their affiliation in their Zoom handle.

Tim Hosgood (Mar 17 2021 at 19:18):

here is the YouTube link for today's talks (starting in ~40 minutes)
https://www.youtube.com/watch?v=_cckUQB6r-I

Tim Hosgood (Mar 17 2021 at 20:52):

(when the workshop is over we'll split up the videos into the individual talks, and then link to them along with the slides in the relevant topics in this stream)

Tim Hosgood (Mar 18 2021 at 19:45):

and here's today's link! https://youtu.be/hBC2seNe3YE

Tim Hosgood (Mar 19 2021 at 19:50):

today's final link! https://youtu.be/RDuNIP4icKI

Alexander Campbell (Mar 20 2021 at 00:16):

Very enjoyable workshop! Thanks to all the organisers and speakers.

Nathanael Arkor (Apr 08 2021 at 18:15):

I am remembering correctly that the map of the history of polynomial functors was going to be uploaded to the website? Is this still happening? I'd be very interested in taking a look at it.

David Spivak (Jan 26 2022 at 19:59):

I'm happy to announce that there will be a second workshop in this series! Below is the text of the announcement sent to categories@mta.ca (which you may want to join if you have not yet!)

2022 WORKSHOP ON POLYNOMIAL FUNCTORS

At the Topos Institute and online via Zoom
2022 March 14 – 18 (UTC)

https://topos.site/p-func-workshop/

Participants will learn background material and hear the latest progress on polynomial functors. The main topic is the notion of polynomial functors in locally cartesian closed categories, as employed in logic and type theory (the theme of the 2021 Workshop on Polynomial Functors). However we also include a tutorial and talks on the notion of polynomial functors in the sense of Eilenberg and Mac Lane, hoping to uncover connections between these two notions.

Talks will be recorded for posterity.

Speakers

Steve Awodey.. x2
Kristine Bauer
Pierre-Louis Curien
Elden Elmanto
Marcelo Fiore
Nicola Gambino
Brenda Johnson
Sean Moss
Fredrik Nordvall Forsberg
Valéria de Paiva
Exequiel Rivas
Brandon Shapiro
David Spivak
Dima Szamozvancev
Paul Taylor
Todd Trimble
Christine Vespa.. x3

Organizers

Joachim Kock and David Spivak

Participation

Anyone interested in participating is welcome. If you would like to attend, please fill out the online form

https://forms.gle/nbpNAo1fQ3kkHynRA

A zoom link will be sent out to registered participants a few days before the workshop.

For other questions, please contact David Spivak <dspivak@gmail.com> or Joachim Kock <kock@mat.uab.cat>.

Program

The talks will take place in the following 4-hour window:

14:00 – 18:00 March 14 – 18 UTC

Tokyo 23:00–03:00 (+1); Barcelona 15:00–19:00; UK 14:00–18:00; US East Coast 10:00–14:00; US West Coast 07:00–11:00.