V
主页
二战考研,7.20-7.31学习进度展示
发布人
-
打开封面
下载高清视频
观看高清视频
视频下载器
Higher Category Theory For Beginners With homotopy.io
∞-category theory for undergraduates
Jacques Carette What I learned from formalizing Category Theory in Agda
Simon Huber, Homotopy canonicity for cubical type theory
Karol Szumiło- The Constructive Kan-Quillen Model Structure
Cubical Agda:A Dependently Typed Programming Language with Univalence and Higher
张寿武 - L-functions
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
André Joyal --- Homotopy type theory a new bridge between logic, category theory
Amélia Liao- Univalent Category Theory
数学:数与形的结合以及它能给予我们什么 - 求是科技基金会
'Elements of Mathematics' in the Digital Age by Marc Bezem (Universitetet i Berg
HoTT Lecture 7 The fundamental theorem of identity types -- HoTTEST Summer Schoo
HoTT Problem Session 11 The univalence axiom -Jarl-.mp4
HoTT Problem Session 11 The univalence axiom -Jacob-.mp4
HoTT Problem Session 7 The fundamental theorem of identity types -Axel-.mp4
HoTT Problem Session 7 The fundamental theorem of identity types -Perry-.mp4
Andrew Pitts - Models of Univalence in Toposes
HoTT Lecture 11 The univalence axiom -- HoTTEST Summer School 2022
Thierry Coquand - Computational Interpretation of Topos Theory
CSCI 8980 Higher-Dimensional Type Theory, 2020 Spring
Agda Problem Session 6 The fundamental group of the circle -Astra- -- HoTTEST Su
张寿武 - 华罗庚和安德雷•韦伊
Cubical Synthetic Homotopy Theory
How to write a translator to Dedukti The case of Agda - Jesper Cockx
On Proofs of Equality as Paths by Andrew Pitts (University of Cambridge, UK)
Thierry COQUAND - Logic and topology
2017.3.8, 季理真, 数学所讲座:模空间故事--形变与刚性
2017.9.6, 李文威, 数学所讲座:Langlands 纲领的近期进展
L-function: Its Past and Future - 张寿武
Agda Problem Session 6 The fundamental group of the circle -Elisabeth- - HoTTEST
Bidirectional Type Checking
2016.10.12, 孙斌勇, 数学所讲座:典型李群和它们的表示
The mathematical work of Vladimir Voevodsky - Dan Grayson
Three Equivalent Ordinal Notation Systems in Cubical Agda
Bidirectional Type Checking
【学习技能升级系列01】多领域通用高成绩强技能学习密码
一些数学视频
The Dawn of Formalized Mathematics
数学所讲座 - 席南华 - 表示,随处可见