Read on Wikipedia

Image: Presented at https://github.com/HoTT/book · C…

Homotopy type theory

Homotopy type theory

Type theory in logic and mathematics.

Super rare
129 views/day0 owners

No account needed. By playing, you confirm you're 13 or older and agree to the Terms of use.

No owners yet

Super rareTop 12%

Category: Empty

0 owners
0 copies
0 pulls
Wishlisted
0
In 0 albums
On 0 showcases
Market listings
0
Wikipedia views per dayLast 30 days 3,632

Not sold on the market yet.

Readers' pathsAug 2026 – Oct 2026

Readers go next to

Share of the 3,443 clicks on its links

  1. Homotopy theory

    Branch of mathematics.

    16%

  2. Vladimir Voevodsky

    Russian mathematician (1966–2017).

    5.3%

  3. Steve Awodey

    American mathematician (born 1959).

    1.9%

  4. Per Martin-Löf

    Swedish logician, philosopher, and mathematical statistician.

    1.9%

  5. Peter Aczel

    British mathematician and logician.

    1.7%

  6. Michael Shulman (mathematician)

    American mathematician (born 1980).

    1.5%

  7. Thomas Streicher

    Austrian mathematician (1958–2025).

    1%

  8. Proof assistant

    Interactive theorem prover software.

    1%

  9. Thierry Coquand

    French computer scientist and mathematician.

    0.76%

  10. Homotopy

    Continuous deformation between two continuous functions.

    0.64%

Readers come from

Share of the 2,317 readers arriving from another article

  1. Lean (proof assistant)

    Proof assistant and programming language.

    29%

  2. Homotopy

    Continuous deformation between two continuous functions.

    4.4%

  3. Vladimir Voevodsky

    Russian mathematician (1966–2017).

    3.2%

  4. Institute for Advanced Study

    Postgraduate center in New Jersey, US.

    2.4%

  5. Foundations of mathematics

    Basic framework of mathematics.

    1.8%

  6. Steve Awodey

    American mathematician (born 1959).

    1.6%

  7. Homotopy theory

    Branch of mathematics.

    1.2%

  8. Thorsten Altenkirch

    German professor of computer science.

    1.1%

  9. Set theory

    Branch of mathematics that studies sets.

    0.65%