From a.pelenitsyn at gmail.com Thu Feb 4 19:14:02 2021 From: a.pelenitsyn at gmail.com (Artem Pelenitsyn) Date: Thu, 4 Feb 2021 19:14:02 -0500 Subject: [PL-sem-jr] Fwd: [TYPES/announce] announcing: March workshop on polynomial functors In-Reply-To: References: Message-ID: Potentially interesting ---------- Forwarded message --------- From: David Spivak Date: Thu, Feb 4, 2021 at 12:55 PM Subject: [TYPES/announce] announcing: March workshop on polynomial functors To: [ 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 or Joachim Kock . 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