categories - Category Theory list
 help / color / mirror / Atom feed
From: David Spivak <dspivak@gmail.com>
To: categories list <categories@mta.ca>
Subject: PolyFun 2022
Date: Sun, 27 Feb 2022 20:14:23 -0800	[thread overview]
Message-ID: <E1nOnlB-0004PC-JD@rr.mta.ca> (raw)

2022 WORKSHOP ON POLYNOMIAL FUNCTORS


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


*The workshop schedule, as well as titles and abstracts for (almost) all
talks, are now available at the following website:*

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
Clemens Berger
Pierre-Louis Curien
Elden Elmanto
Marcelo Fiore
Nicola Gambino
Brenda Johnson
Sean Moss
Fredrik Nordvall Forsberg
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 <david@topos.institute> 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

Japan 23:00–03:00 (+1); Central Europe 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: http://www.mta.ca/~cat-dist/ ]


                 reply	other threads:[~2022-02-28  4:14 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1nOnlB-0004PC-JD@rr.mta.ca \
    --to=dspivak@gmail.com \
    --cc=categories@mta.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).