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.
John Baez (Nov 04 2020 at 19:19):Peter LeFanu Lumsdaine writes:
The memorial conference for Erik Palmgren (1963–2019) will take place
online, on Thursday 19 – Friday 21 November (rescheduled from May due to
the coronavirus).Talks are to include various topics related to Erik’s work and interests,
as well as reminiscences of Erik. All talks will be held over Zoom; the
sessions will be within 9:00–11:30 Thu/Fri morning, and 13:30–16:30
Thu/Fri/Sat afternoon (Stockholm time / CET / UTC+1).Invited speakers include Douglas Bridges, Hajime Ishihara, Steve Vickers,
and Maria Emilia Maietti. A preliminary schedule and other details are
available at http://logic.math.su.se/palmgren-memorial/ .If you plan to attend and would like to join the mailing list for further
updates (including Zoom links), please let us know by sending your details
to palmgren-memorial@math.su.se in advance.Best wishes,
–Peter (for the organising committee)
palmgren-memorial@math.su.se
http://logic.math.su.se/palmgren-memorial/
John Baez (Nov 04 2020 at 19:20):There are no abstracts of talks yet, but talks are supposed to focus on:
Type theory and its models. The relation between type theory and homotopy theory.
Categorical logic and category-theoretic foundations.
Constructive mathematics, especially formal topology and reverse constructive mathematics.
Nonstandard analysis, especially its constructive aspects.
Philosophy of mathematics related to constructivism.
John Baez (Nov 18 2020 at 20:08):Here's the schedule of the Palmgren memorial conference - go there for more information:
Thursday 19 Nov morning (chair: Anders Mörtberg)
9:00–10:00 Douglas Bridges — Representing preferences on a metric space
10:00–10:40 Peter LeFanu Lumsdaine — From setoids to e-categories to (un-)saturated categories; or, how Erik taught me to stop worrying and love the setoids
10:40–11:20 Christian Espíndola — An extension of Morley's categoricity theorem to infinite quantifier languages
Thursday 19 Nov afternoon (chair: Håkon Gylterud)
13:30–14:30 Benno van den Berg — A topos for continuous logic
14:30–15:10 Chaitanya Leena Subramaniam — Dependently typed theories as generalised Lawvere theories
15:10–16:10 Steve Awodey — An algebraic proof of the Frobenius condition for cubical sets
Friday 20 Nov morning (chair: Peter LeFanu Lumsdaine)
9:00–10:00 Hajime Ishihara — Yet another predicative completion of a uniform space
10:00–10:40 José Siqueira — A tripos-theoretic approach to nonstandard analysis
10:40–11:20 Anders Mörtberg — The structure identity principle in Cubical Agda
Friday 20 Nov afternoon (chair: Christian Espíndola)
13:30–14:30 Nicola Gambino — Type-theoretic interpretations of constructive set theories: a survey
14:30–15:10 Håkon Gylterud — Univalent set theory
15:10–16:10 Steve Vickers — Arithmetic universes: Home of free algebras
Friday 20 Nov evening
18:00– Social event over Zoom: please bring a drink (preferably whisky) for a toast in Erik's memory.
Saturday 21 Nov afternoon (chair: Henrik Forssell)
13:30–14:30 Maria Emilia Maietti — What notion of predicative topos?
14:30–15:10 Jacopo Emmenegger — Equality is coalgebraic
15:10–15:50 Johan Lindberg — Palmgren's intuitionistic ramified type theory
15:50–16:30 Peter Dybjer — Erik Palmgren and the higher infinite in type theory