Homotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program Institute for Advanced Study Buy a hardcover copy for $21.00. [620 pages, 6″ × 9″ size, hard…| Homotopy Type Theory
We are organizing a workshop on synthetic algebraic geometry at the University of Gothenburg/Chalmers from the 11th to 15th of March 2024. There will be introductory lectures – newcomers to s…| Homotopy Type Theory
The 2nd International Conference on Homotopy Type Theory (HoTT 2023) will be held Monday 22nd May – Thursday 25th May 2023 at Carnegie Mellon University, Pittsburgh (USA). Abstracts of no mo…| Homotopy Type Theory
Since being introduced to HoTT around 3 years ago, I have, like so many others before me, developed a healthy(?) obsession with the Brunerie number (i.e. the number $latex n$ such that $latex \pi_4…| Homotopy Type Theory
Video and lecture notes are now available for a series of talks that took place last month at the Logic and Higher Structures workshop at CIRM-Luminy with the following abstract: Many introductions…| Homotopy Type Theory
What is the HoTT Game? from thehottgameguide.readthedocs.io The Homotopy Type Theory (HoTT) Game is a project written by mathematicians for mathematicians interested in HoTT and no experience in pr…| Homotopy Type Theory
The Department of Mathematics at Johns Hopkins University solicits applications for one two-year postdoctoral fellowship beginning Summer 2021 (with some flexibility in the start and end dates). Th…| Homotopy Type Theory
When attempting to prove a theorem, not discussed in this post, I tried to give a certain set the structure of a group. After failing repeatedly, my proof attempts led me to consider a miniature ve…| Homotopy Type Theory
The University of San Diego invites applications for a postdoctoral research fellowship in homotopy type theory beginning Fall 2021, or earlier if desired. This is a two-year position with potentia…| Homotopy Type Theory
The Department of Mathematics at Johns Hopkins University solicits applications for one two-year postdoctoral fellowship beginning Summer 2021 (with some flexibility in the start and end dates). Th…| Homotopy Type Theory
Erik Palmgren, 1963–2019 Erik Palmgren, professor of Mathematical Logic at Stockholm University, passed away unexpectedly in November 2019.This conference will be an online workshop to remember and…| Homotopy Type Theory