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
[[cached](https://git.mzhang.io/school/type-theory/raw/branch/master/resources/HoTT.pdf)]
[[live](https://hott.github.io/book/hott-ebook.pdf.html)]
[[ebook-sized pdf](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)
[[ebook](https://git.mzhang.io/school/type-theory/raw/branch/master/resources/VanDoornDissertation/dissertation.pdf)]
[[original](https://florisvandoorn.com/papers/dissertation.pdf)]
[[ebook-sized pdf](https://git.mzhang.io/school/type-theory/raw/branch/master/resources/VanDoornDissertation/dissertation.pdf)]
[[original pdf](https://florisvandoorn.com/papers/dissertation.pdf)]
-
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)]
[[original](https://www.math.uchicago.edu/~may/CONCISE/ConciseRevised.pdf)]
[[ebook-sized pdf](https://git.mzhang.io/school/type-theory/src/branch/master/resources/MayConcise/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}
\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[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{color}
\usepackage{url}