Noughts & Crosses: Understanding Beta & Eta [Intro to HoTT, No. 5, Part 2]

[@MrKviter1]

Best HoTT content. Please keep going!

[@danieldwyer5246]

Eyyy first! I love your videos; you make this insanely high-level content feel so easy and intuitive

[@خالد_الشيباني]

Best HoTT channel is back!

[@neilbedwell7763]

Yyaaaaayyy. Been waiting for this series. Making my way through the HoTT book currently. Thanks!

[@ilscutta]

These videos are amazing thank you and please keep going

[@SoteriosXI]

Beta and Eta Wooooooooo let's go!!!

[@half_pixel]

10:24 I feel like your use of the word "faithful" here was a bit of a hint :)

[@mickschilder3633]

Can we in a way see \beta and \eta as adjunction units and counits in a sense?

[@nnnuuulll]

Look what I found today 🎉