#22 Homotopy Type Theory Explained: Monoids, Sets, Mere Propositions

Homotopy Type Theory (HoTT) gives us a new foundation for mathematics. From it, we can naturally describe algebraic structures, topology, and even classical logic. This video is part of a series that gradually explains concepts in HoTT, one step at a time. In this video we continue our discuss monoids, sets, and mere propositions. Chapters: 0:00 - Introduction 0:38 - Mere propostions 2:01 - Sets 2:44 - Monoids If you like to support HoTT Math, you can do so on Ko-fi. All content will always remain free. https://ko-fi.com/hottmath