二战考研，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
...
数学所讲座 - 席南华 - 表示，随处可见