Explanation of The HoTT Book: Chapter 11 Part II

July 8, 2017

The following is part two of a summary of Chapter 11 on compactness and inductive covers over the reals in Homotopy Type Theory.