Homotopy Type Theory Community
Unknown
Main community site with resources and news
More resources on Homotopy Type Theory
nLab: HoTT
Comprehensive nLab page on HoTT with references
Introduction to Univalent Foundations of Mathematics with Agda
Learn univalent foundations of mathematics and homotopy type theory using Agda. Course by Martin Escardo.
ncatlab.org
nLab is a collaborative, wiki-style reference for advanced mathematics, including homotopy theory, category theory, and Homotopy Type Theory. It features extensive articles, definitions, diagrams, and up-to-date notes and references on HoTT and related foundational topics.
homotopytypetheory.org
Official hub for Homotopy Type Theory, hosting the freely available HoTT book and accompanying course materials, tutorials, and links to related papers and community resources.
ocw.mit.edu
MIT OpenCourseWare (OCW) offers free, openly accessible MIT course materials across hundreds of subjects for self-paced study. You can find lecture notes, assignments, exams, and sometimes video lectures from MIT courses, including math and computer science content relevant to topics like Homotopy Type Theory.