1.37 тысяч подписчиков
34 видео
#33 Homotopy Type Theory Explained: Higher Dimensional Loop Spaces, Abelian Groups
#32 Homotopy Type Theory Explained: Suspensions
#31 Homotopy Type Theory Explained: Function Extensionality
#30 Homotopy Type Theory Explained: Pullbacks, Pushouts
#29 Homotopy Type Theory Explained: Quotient Groups
#28 Homotopy Type Theory Explained: Group Homomorphisms
#27 Homotopy Type Theory Explained: Free products, Wedge sums
#26 Homotopy Type Theory Explained: Covering Spaces
#25 Homotopy Type Theory Explained: Univalence Axiom
#24 Homotopy Type Theory Explained: Equivalences, Preimages
#23 Homotopy Type Theory Explained: Groups, Truncations, Loop Spaces, Integers
#22 Homotopy Type Theory Explained: Monoids, Sets, Mere Propositions
#1 Homotopy Type Theory Explained: A New Foundation for Mathematics