Bonsoir, Ulrik Buchholtz’s HoTT mini-course is scheduled for the next three Wednesdays (March 25, April 1, and April 8), from 16:00 to 18:00 at Paris 13 University in Villetaneuse. The abstract is below. The room will be announced soon. We look forward to seeing many of you, and please feel free to forward this announcement. Best regards, Jonas Title : Introduction to Synthetic Homotopy Theory Abstract : We'll cover topics in synthetic homotopy theory using homotopy type theory/univalent foundations. First, we'll give a brief overview of Martin-Löf type theory and an intuitive picture of its interpretation in spaces qua infinity-groupoids. This interpretation motivates Voevodsky's definition of contractible types, equivalences, homotopy n-types, n-connected types, and the univalence axiom. Next, we cover homotopy pushouts as a new type constructor, including variations such as the circle, suspensions, cofibers, joins, and smash products. We'll look at the type-theoretic formulation of homotopy groups, and the long exact sequence given by a map, leading to the calculation of some homotopy groups. The last lecture will cover the zigzag construction of the path spaces of pushouts, leading to a type-theoretic proof of the Blakers–Massey connectivity theorem. Time permitting, we can touch on other aspects of synthetic homotopy theory, according to the interests of the participants. On 3/17/26 16:15, Jonas Frey wrote:
Bonjour,
Notre invité *Ulrik Buchholtz* arrivera lundi prochain (23 mars) et restera jusqu'au 26 avril avec une interruption d'une semaine (du 12 au 18 avril). En tant qu'invité de l'EUR <https://eur.univ-paris13.fr/> il donnera un mini-cours d'environ trois séances sur la *théorie homotopique de types* (HoTT) destiné aux étudiants de master, mais aussi aux doctorants, postdocs et permanents. Si ça vous intéresse vous et invités à remplir ce sondage <https://lettucemeet.com/l/KwWpn> pour indiquer vos disponibilités.
Dear all,
Our guest *Ulrik Buchholtz* will be arriving next Monday (*March 23*) and will be staying until *April 26*, with a one-week break from April 12 to 18. As a guest of the EUR <https://eur.univ-paris13.fr/>, he will give a mini-course of about three sessions on *Homotopy Type Theory (HoTT)*. This course is *aimed at* Master’s students, but PhD students, postdocs, and permanent staff are also welcome to attend.
If you are interested, you are invited to fill out this poll <https://lettucemeet.com/l/KwWpn> to indicate your availability.
Best,
Jonas