HoTT Reading Notes

Open as TemplateView SourceDownload PDF
Author
Pierre-Yves Gaillard
View Count
6090
License
Creative Commons CC BY 4.0
Abstract

This is an informal set of comments on the HoTT Book.

Tags
Research DiaryMathLecture Notes
Find More Articles
HoTT Reading Notes