This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Creative Commons Attribution Share Alike 4.0 International
371
stars
22
forks
source link
Fix diagram and proof of Theorem 3.3.8 (set bundle over circle) #190
I think there are a few typos in the statement and the first paragraph of the proof for Theorem 3.3.8. Of course, it is possible that I misunderstood something, but I believe the suggested corrections match with the preceding definitions and also make sense for later uses of the Theorem.
I think there are a few typos in the statement and the first paragraph of the proof for Theorem 3.3.8. Of course, it is possible that I misunderstood something, but I believe the suggested corrections match with the preceding definitions and also make sense for later uses of the Theorem.