Compare commits
2 commits
ea0da820e3
...
88afc145cc
Author | SHA1 | Date | |
---|---|---|---|
Michael Zhang | 88afc145cc | ||
Michael Zhang | bcada886a8 |
|
@ -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)]
|
||||||
|
|
BIN
resources/CCHM/main.pdf
vendored
Normal file
BIN
resources/CCHM/main.pdf
vendored
Normal file
Binary file not shown.
12
resources/CCHM/main.tex
vendored
12
resources/CCHM/main.tex
vendored
|
@ -1,10 +1,18 @@
|
||||||
\documentclass[10pt,a4paper,utf8]{article}
|
\documentclass[10pt,a4paper,utf8]{article}
|
||||||
|
|
||||||
\usepackage[a4paper,inner=100pt,outer=100pt,textheight=630pt,centering]{geometry}
|
\def\OPTpagesize{4.8in,7.9in} % Page size
|
||||||
|
\usepackage[
|
||||||
|
papersize={\OPTpagesize},
|
||||||
|
margin=0.4in,
|
||||||
|
twoside,
|
||||||
|
includehead,
|
||||||
|
]{geometry}
|
||||||
|
|
||||||
\usepackage{enumerate}
|
\usepackage{enumerate}
|
||||||
\usepackage[usenames,dvipsnames]{xcolor}
|
\usepackage[usenames,dvipsnames]{xcolor}
|
||||||
\usepackage[pagebackref,citecolor=blue,linkcolor=OliveGreen,urlcolor=Mahogany,colorlinks]{hyperref}
|
\usepackage[
|
||||||
|
pagebackref,citecolor=blue,linkcolor=OliveGreen,urlcolor=Mahogany,colorlinks
|
||||||
|
]{hyperref}
|
||||||
\usepackage[utf8]{inputenc}
|
\usepackage[utf8]{inputenc}
|
||||||
\usepackage{color}
|
\usepackage{color}
|
||||||
\usepackage{url}
|
\usepackage{url}
|
||||||
|
|
Loading…
Reference in a new issue