update
This commit is contained in:
parent
bcada886a8
commit
88afc145cc
|
@ -12,13 +12,15 @@ I have scaled down some of these materials to eBook size, for easier reading on
|
||||||
|
|
||||||
-
|
-
|
||||||
Homotopy Type Theory Book
|
Homotopy Type Theory Book
|
||||||
[[cached](https://git.mzhang.io/school/type-theory/raw/branch/master/resources/HoTT.pdf)]
|
[[ebook-sized pdf](https://hott.github.io/book/hott-ebook.pdf.html)]
|
||||||
[[live](https://hott.github.io/book/hott-ebook.pdf.html)]
|
|
||||||
-
|
-
|
||||||
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory, by Floris van Doorn (2018)
|
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory, by Floris van Doorn (2018)
|
||||||
[[ebook](https://git.mzhang.io/school/type-theory/raw/branch/master/resources/VanDoornDissertation/dissertation.pdf)]
|
[[ebook-sized pdf](https://git.mzhang.io/school/type-theory/raw/branch/master/resources/VanDoornDissertation/dissertation.pdf)]
|
||||||
[[original](https://florisvandoorn.com/papers/dissertation.pdf)]
|
[[original pdf](https://florisvandoorn.com/papers/dissertation.pdf)]
|
||||||
-
|
-
|
||||||
A Concise Course in Algebraic Topology, by J.P. May (2007)
|
A Concise Course in Algebraic Topology, by J.P. May (2007)
|
||||||
[[ebook](https://git.mzhang.io/school/type-theory/src/branch/master/resources/MayConcise/ConciseRevised.pdf)]
|
[[ebook-sized pdf](https://git.mzhang.io/school/type-theory/src/branch/master/resources/MayConcise/ConciseRevised.pdf)]
|
||||||
[[original](https://www.math.uchicago.edu/~may/CONCISE/ConciseRevised.pdf)]
|
[[original pdf](https://www.math.uchicago.edu/~may/CONCISE/ConciseRevised.pdf)]
|
||||||
|
-
|
||||||
|
[[ebook-sized pdf](https://git.mzhang.io/school/type-theory/raw/branch/master/resources/CCHM/main.pdf)]
|
||||||
|
[[original pdf](https://arxiv.org/pdf/1611.02108)]
|
||||||
|
|
Loading…
Reference in a new issue