Clik here to view.
Erik Palmgren Memorial Conference
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...
View ArticlePostdoctoral position in HoTT at Johns Hopkins University
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). The...
View ArticlePostdoctoral Position in HoTT at the University of San Diego
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 potential...
View ArticleClik here to view.
Can the type of truth values be given the structure of a group?
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...
View ArticlePostdoctoral position in Higher Category Theory at Johns Hopkins
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). The...
View ArticleClik here to view.
The HoTT Game
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 proof...
View ArticleOn the ∞-topos semantics of 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 to...
View ArticleClik here to view.
The Brunerie Number Is -2
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 such that , as defined in Guillaume...
View ArticleHoTT 2023
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 more than 2...
View ArticleWorkshop on Synthetic Algebraic Geometry
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 synthetic...
View Article