HoTT Math

امتیاز در ۱۰ جنبه

فعالیت و رشد

تازه‌ترین ویدیوها

• ۳ دقیقه
  #43 Homotopy Type Theory Explained: Rational Numbers, Quotient Sets
  ۳۲۰ بازدید · ۵۶ روز پیش
• ۴ دقیقه
  #42 Homotopy Type Theory Explained: Cardinal Infinities, Cardinal Exponentiation, Power Sets
  ۱۸۷ بازدید · ۲ ماه پیش
• ۳ دقیقه
  #41 Homotopy Type Theory Explained: Cardinal Numbers
  ۳۰۷ بازدید · ۲ ماه پیش
• ۴ دقیقه
  #40 Homotopy Type Theory Explained: Groupoids, Types as Categories
  ۲۶۷ بازدید · ۳ ماه پیش
• ۴ دقیقه
  #39 Homotopy Type Theory Explained: Adjunctions
  ۲۱۰ بازدید · ۳ ماه پیش
• ۴ دقیقه
  #38 Homotopy Type Theory Explained: Natural Transformations, Cat. of Functors
  ۱۸۳ بازدید · ۳ ماه پیش
• ۳ دقیقه
  #37 Homotopy Type Theory Explained: Functors
  ۱۸۱ بازدید · ۴ ماه پیش
• شورت
  #36 Homotopy Type Theory Explained: Categories, Cat. of Sets
  ۲۱۳ بازدید · ۴ ماه پیش
• شورت
  #35 Homotopy Type Theory Explained: Precategories
  ۳۲۷ بازدید · ۴ ماه پیش

هشدارهای محتوا

هشدارها را خود کاربران هنگام امتیازدهی ثبت می‌کنند.

درباره

موضوع‌ها و توضیحات به‌طور خودکار از اطلاعات عمومی کانال ساخته می‌شوند و ممکن است اشتباه داشته باشند.