school/type-theory
2
0
Fork 0
Code Issues 11 Pull requests Actions Packages Projects 1 Releases Wiki Activity

Compare commits

base: school:ea0da820e3d4b7327fbade3d58ccae21a28d36e0
Branches Tags
school:master
...
compare: school:88afc145cceb89559128cea2ef2f35942d75f704
Branches Tags
school:master

2 commits
ea0da820e3 ... 88afc145cc

Author SHA1 Message Date
Michael Zhang 88afc145cc update 2024-06-03 00:15:16 -04:00
Michael Zhang bcada886a8 CCHM 2024-06-03 00:13:54 -04:00
3 changed files with 18 additions and 8 deletions
Show stats Expand all files Collapse all files

14
html/src/front.md
View file

@ -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
View file

Binary file not shown.

12
resources/CCHM/main.tex vendored
View file

@ -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}