Labels Milestones

New Issue

going through the hott book

4

Uncategorized

Exercise 4.6: qinv-univalence

#10 opened 2023-05-18 08:27:33 +00:00 by michael

exercise

Path between fibers for boolean equivalence

#2 by michael was closed 2024-05-16 14:09:44 +00:00

T-equivalence

Exercise 2.4: n-dimensional path

#6 opened 2023-05-15 23:27:47 +00:00 by michael

exercise

Write a blog post for the fundamental group of a circle ≡ integers

#4 opened 2023-05-15 19:34:26 +00:00 by michael

3

in progress

Theorem 2.13.1

#13 opened 2024-04-25 13:28:05 +00:00 by michael

Chapter 2: Homotopy type theory

#7 opened 2023-05-16 14:05:07 +00:00 by michael

Chapter 3: Sets and logic

#9 opened 2023-05-18 05:40:39 +00:00 by michael

3

done

Bi-invertible equivalence

#3 by michael was closed 2023-05-15 19:19:19 +00:00

T-equivalence

Incorporate reverse-ap for proving equivalence

#1 by michael was closed 2023-05-15 19:31:00 +00:00

T-equivalence

Exercise 2.13: (2 ≃ 2) ≃ 2

#8 by michael was closed 2024-05-08 23:34:24 +00:00

exercise

T-equivalence