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: community: events

Topic: Workshop on Polynomial Functors


view this post on Zulip Joachim Kock (Feb 03 2021 at 22:22):

W O R K S H O P _ O N _ P O L Y N O M I A L _ F U N C T O R S

At the Topos Institute and online via Zoom
2021 March 15–19 (UTC)

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

Participants will learn background material and hear the latest
progress on polynomial functors, monads, and comonads, their
algebras and coalgebras, as well as on operads, parametric right
adjoints, and cofunctors, with applications to combinatorics,
database theory, dynamical systems, higher category theory,
logic, and type theory.

SPEAKERS

Thorsten Altenkirch
Steve Awodey
Michael Batanin
Bryce Clarke
Marcelo Fiore
Richard Garner
David Gepner
Helle Hvid Hansen
Rune Haugseng
Bart Jacobs
André Joyal
Fredrik Nordvall Forsberg
Kristina Sojakova
David Spivak
Ross Street
Tarmo Uustalu

ORGANIZERS

Joachim Kock and David Spivak

view this post on Zulip John Baez (Mar 10 2021 at 16:05):

This is the second and final announcement of the

WORKSHOP ON POLYNOMIAL FUNCTORS

at the Topos Institute and online via Zoom
2021 March 15–19 (20:00-24:00 UTC).

At the web site
https://topos.site/p-func-2021-workshop/
there is now a complete program together with
titles and abstracts, and also instructions for
registration (which is free, but required).

We hope to see you at the workshop.
David Spivak and Joachim Kock (organizers)

view this post on Zulip Jules Hedges (Mar 10 2021 at 16:07):

Now's the right time for me to ask if the talks are being recorded + youtubed. I don't have time next week, but this is stuff that it's my job to know about, so I'd like to catch up after the teaching term

view this post on Zulip John Baez (Mar 10 2021 at 16:09):

Everyone should always say, in announcements of workshops, whether the talks will be recorded and made available. If you don't, someone will always ask.

view this post on Zulip John Baez (Mar 10 2021 at 16:12):

They will never click a link to find out.

view this post on Zulip Martti Karvonen (Mar 10 2021 at 16:13):

To save the click from others, they say that "Talks will be recorded for posterity."

view this post on Zulip Tim Hosgood (Mar 10 2021 at 16:48):

yes, they’ll be live-streamed on youtube and those streams will be kept on the channel for viewing at your own future leisure :)

view this post on Zulip Jules Hedges (Mar 10 2021 at 17:03):

John Baez said:

They will never click a link to find out.

Can confirm

view this post on Zulip Tim Hosgood (Mar 14 2021 at 15:12):

here is the YouTube playlist for the livestreams (which will then magically turn into a playlist of recordings of the livestreams as soon as the workshop is over)
https://www.youtube.com/playlist?list=PLhgq-BqyZ7i7R-fGcAmNyWmJBQg1wzex-

view this post on Zulip Tim Hosgood (Mar 15 2021 at 14:12):

there is also now also a Zulip stream for this #workshop: Polynomial Functors @ Topos, where we'll have separate topics for each talk