David Jaz Myers - 单纯形，超等变，与微分同伦类型论
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
Ana Caraiani - A Glimpse into the Langlands Program III
...
Jacob Lurie - A Gentle Approach to Crystalline Cohomology
...
Pierre Cartier访谈
...
Will Sawin - 1/6 函数域上的数论
...
André Joyal - 同伦类型论: 逻辑, 范畴论与拓扑间的新桥梁
...
【课程】Peter Scholze - 数域的Habiro环
...
【K理论仙境】从负数到K理论
...
Thierry Coquand - 归纳定义与构造主义数学
...
Jacob Lurie - 什么是... 𝘱进几何?
...
[SAG3] Max Zeuner - Constructive Equivalence of the two Approaches Alg. Geometry
...
André Joyal - A cartesian closed category of algebraic theories
...
Graham Manuell - 4/5 无点拓扑与构造主义数学
...
Jacob Lurie - Abstract Algebra in Homotopy-Coherent Mathematics
...
David Mumford - 人工智能将如何影响数学研究
...
Semih Özlem - On the motivic Galois group of a number field
...
Graham Manuell - 1/5 无点拓扑与构造主义数学
...
Emily Riehl - 形式化后严格数学
...
Andrew Wiles - 朗兰兹纲领
...
Emily Riehl - 在Rzk证明助手中形式化无穷范畴论
...
Serre, Cartier, Dixmier 和 Connes 谈布尔巴基的 1945-75 年代
...
【数学纪录片】Alexander Grothendieck, 天才的旅途
...
David J. Myers - Homotopy Manifolds and Tangent Bundles in HoTT
...
Dustin Clausen - 1/4 Three perspectives on Deligne cohomology
...
Maria Emilia Maietti - 比较极简基础和同伦类型论
...
Lyne Moser - 构造模型范畴的新方法
...
David Hansen - 3/3 GLₙ 的范畴局部朗兰兹
...
Alexander Efimov - 5/6 Dualizable categories and localizing motives
...
Alexander Efimov - 6/6 Dualizable categories and localizing motives
...
Eric Finster - A survey of Univalent Foundations
...
Dennis Gaitsgory - 几何Langlands猜想的证明
...
Andreas Blass - Do these ultrafilters exist, I: preservation by forcing
...
Terence Tao 陶哲轩 - 1/4 Small gaps between primes
...
Alain Connes - 能听出阿基米德素数的形状吗？
...
Raphaël Rouquier - 几何表示论作为表示论几何学
...
Max Zeuner - 构造性代数几何的泛等基础
...
Jean-Pierre SERRE - Valeurs de caractères
...
Daniel Litt - Galois theory of local systems
...
Urs Schreiber - Higher Topos Theory in Physics
...
Emily Riehl - 同伦类型论的无穷拓扑斯语义 II：泛等基础的单纯形模型
...
Emily Riehl - 同伦类型论的无穷拓扑斯语义 I：依赖类型论的范畴语义