Homotopy Type Theory

Re:Homotopy Type Theory by skulk on Wednesday June 23, 2021 @09:04PM (#27612654)

Here is a lecture series on HoTT from CMU. The video recordings are abysmal, but I still find the lectures very interesting because of how the instructor motivates everything.

https://www.youtube.com/watch?v=u92V0OMgvhM&list=PL1-2D_rCQB...

[ Parent | on HN ]

Re:Homotopy Type Theory by fezzez on Wednesday June 23, 2021 @09:08PM (#27612679)

I was lucky to see have had this instructor for a couple of lessons. Bob is a total legend.

[ Parent | on HN ]

Re:Homotopy Type Theory by mhh__ on Wednesday June 23, 2021 @09:26PM (#27612804)

Wow, you weren't kidding. I don't know how recently these were recorded but it's to cheap these days to get good video I get really annoyed seeing good material wasted by bad AV

[ Parent | on HN ]

Re:Homotopy Type Theory by abss on Friday June 25, 2021 @01:29AM (#27627435)

Very good indeed!

[ Parent | on HN ]