HoTT/book resource
A textbook on informal homotopy type theory observed · 2026-08-28
Health v2 · maintenance only
62/100
- Activity 88
- Release rhythm 8
- Longevity 100
Flags: no_license
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 5048
- days_rel: n/a
- days_push: 76
- n_releases_24m: 0
Adoption not part of the score
2167 stars · 378 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
The Homotopy Type Theory book, an open-access textbook on informal homotopy type theory produced by the Univalent Foundations program at the Institute for Advanced Study. The repository contains the LaTeX source, licensed under CC BY-SA 3.0, with compiled versions distributed via the homotopytypetheory.org website.
Use cases
- learn homotopy type theory from scratch
- study univalent foundations of mathematics
- reference the HoTT book when doing type-theoretic proofs
- find a free textbook on higher inductive types and univalence
- prepare a course on homotopy type theory
- look up definitions like equivalence, universe, and univalence axiom
When to choose
- you want the canonical informal introduction to homotopy type theory
- you need a free, openly licensed reference on univalent foundations
- you are a mathematician or computer scientist learning type theory with a homotopical perspective
When to avoid
- you need a formalized, machine-checked development of HoTT in a proof assistant
- you want a beginner introduction to plain type theory or programming with dependent types
- you need software or a library rather than a textbook
Facets
learning-resource · maturity stable
documentation mathematics education programming-languages cross-platform homotopy-type-theory univalent-foundations textbook tex latex mathematics
1 source
- readme: https://github.com/HoTT/book · fetched 2026-08-28 · fe4ca71cfd38
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| HoTT/book | main | 62 |
For agents
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem