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.
Tim Hosgood (Mar 15 2021 at 14:25):Monday, 20:00 UTC
Tim Hosgood (Mar 15 2021 at 19:32):this will be starting in 30 minutes!
Joachim Kock (Mar 15 2021 at 19:34):Here is the
Abstract: (Joint work with Marcelo Fiore) We consider three kinds of polynomial functor: the first is associated to symmetric monoidal categories, the second to categories with finite cartesian products and the third to categories with finite limits. The category of polynomial functors is cartesian closed in every case.
Frederick Kintanar (Mar 16 2021 at 11:27):I looked up the paper by Hyland listed in Joyal's bibliography slide. The correct date is 1981.
J. M. E. Hyland. Function spaces in the category of Locales.
In B. Banaschewski and R.-E. Hoffmann (editors). Continuous Lattices, Lecture Notes in Mathematics 871, Springer 1981, 264-281.
https://www.dpmms.cam.ac.uk/~martin/Research/Oldpapers/functionspaces81.pdf