HoTT Reading Notes

Open as TemplateView SourceDownload PDF
Author
Pierre-Yves Gaillard
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