├── .gitignore ├── Makefile ├── cancellation.tex ├── hott_references.bib ├── macros.tex ├── mathpartir.sty ├── notes_week1.tex ├── notes_week10.tex ├── notes_week11.tex ├── notes_week12.tex ├── notes_week2.tex ├── notes_week3.tex ├── notes_week4.tex ├── notes_week5.tex ├── notes_week6.tex ├── notes_week7.tex ├── notes_week8.tex ├── notes_week9.tex ├── proof-dashed.sty └── sphere.png /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/.gitignore -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/Makefile -------------------------------------------------------------------------------- /cancellation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/cancellation.tex -------------------------------------------------------------------------------- /hott_references.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/hott_references.bib -------------------------------------------------------------------------------- /macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/macros.tex -------------------------------------------------------------------------------- /mathpartir.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/mathpartir.sty -------------------------------------------------------------------------------- /notes_week1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/notes_week1.tex -------------------------------------------------------------------------------- /notes_week10.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/notes_week10.tex -------------------------------------------------------------------------------- /notes_week11.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/notes_week11.tex -------------------------------------------------------------------------------- /notes_week12.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/notes_week12.tex -------------------------------------------------------------------------------- /notes_week2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/notes_week2.tex -------------------------------------------------------------------------------- /notes_week3.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/notes_week3.tex -------------------------------------------------------------------------------- /notes_week4.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/notes_week4.tex -------------------------------------------------------------------------------- /notes_week5.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/notes_week5.tex -------------------------------------------------------------------------------- /notes_week6.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/notes_week6.tex -------------------------------------------------------------------------------- /notes_week7.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/notes_week7.tex -------------------------------------------------------------------------------- /notes_week8.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/notes_week8.tex -------------------------------------------------------------------------------- /notes_week9.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/notes_week9.tex -------------------------------------------------------------------------------- /proof-dashed.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/proof-dashed.sty -------------------------------------------------------------------------------- /sphere.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdolson/hott-notes/HEAD/sphere.png --------------------------------------------------------------------------------