[PL-sem-jr] Fwd: [TYPES/announce] announcing: March workshop on polynomial functors

[Artem Pelenitsyn]

Potentially interesting

---------- Forwarded message ---------
From: David Spivak <dspivak at gmail.com>
Date: Thu, Feb 4, 2021 at 12:55 PM
Subject: [TYPES/announce] announcing: March workshop on polynomial functors
To: <types-announce at lists.seas.upenn.edu>


[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


WORKSHOP ON POLYNOMIAL FUNCTORS


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.

Talks will be recorded for posterity.

(This may be the first in a series of such workshops.)


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


Participation
------------

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

   https://forms.gle/44bfnbE2Yfgqxz7H9

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

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


Program
------------

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

20:00h–00:00 UTC

(Sydney (+1) 07:00–11:00; Barcelona 21:00–01:00+; Boston 15:00–19:00;
Berkeley 12:00–16:00, etc.)


(END ANNOUNCEMENT)
-------------- next part --------------
HTML attachment scrubbed and removed