categories - Category Theory list
 help / color / mirror / Atom feed
* March workshop on polynomial functors
@ 2022-01-26 19:57 David Spivak
  0 siblings, 0 replies; only message in thread
From: David Spivak @ 2022-01-26 19:57 UTC (permalink / raw)
  To: categories list


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

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.


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


Joachim Kock and David Spivak


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

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 <>.


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.

[For admin and other information see: ]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-01-26 19:57 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-01-26 19:57 March workshop on polynomial functors David Spivak

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox