Hi guys, Welcome to the Advanced Video Search Engine, and you are watching the cartesian product: type theory vs. set theory. That video is uploaded by Rooney at 2021-10-09T09:59:39-07:00. We are promoting this video only for entertainment and educational purpose only. So, I hope you like & enjoy it. [Vq8IvCnezKc]
| Name | the cartesian product: type theory vs. set theory |
| Video Uploader | Video From Rooney |
| Upload Date | This Video Uploaded At 09-10-2021 16:59:39 |
| Video Discription | When I was reading through Section 1.5 on the Homotopy Type Theory book, I was initially very confused as to what was going one, particularly regarding the uniqueness principle. I don't go into detail about the constructions they provide in the chapter, but hopefully this will be a helpful overview of what is going on intuitively. --- Credits --- 3b1b's animation library "manim": https://github.com/3b1b/manim Homotopy Type Theory Book: https://homotopytypetheory.org/ More detailed account of product type from nLab: https://ncatlab.org/nlab/show/product+type Vq8IvCnezKc |
| Category | Education |
| Tags | homotopy | category theory |
