Doug Ravenel - 2/4 The background and motivation for the telescope conjecture
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
Dennis Gaitsgory - 几何Langlands猜想的证明
...
Amartya Goswami - 从环到格
...
André Joyal - A cartesian closed category of algebraic theories
...
Will Sawin - 1/6 函数域上的数论
...
Paolo Perrone - Convergence of martingales via enriched dagger categories
...
Sebastian Wolf - Higher Category Theory Internal to an Infinity Topos
...
【课程】Peter Scholze - 数域的Habiro环
...
Graham Manuell - 4/5 无点拓扑与构造主义数学
...
[SAG3] Felix Cherubini - Cohomology I.5
...
[TeXmacs实例] Vincent Douce - TeXmacs个人快捷键
...
Alexander Efimov - 5/6 Dualizable categories and localizing motives
...
Emily Riehl - 在Rzk证明助手中形式化无穷范畴论
...
Alexander Efimov - 6/6 Dualizable categories and localizing motives
...
Graham Manuell - 3/5 无点拓扑与构造主义数学
...
Geoffrey Vooys - 5/5 Equivariant Derived Categories
...
Luca Mesiti - 迈向基本2-拓扑斯
...
Semih Özlem - On the motivic Galois group of a number field
...
Philippe Michel - Paul Nelson的工作
...
Jacob Lurie - 李代数和同伦论
...
Emmanuel Ullmo - Introduction
...
[SAG3] Max Zeuner - Constructive Equivalence of the two Approaches Alg. Geometry
...
Tomer Schlank - Stable Homotopy Group, Higher Algebra and the Telescope Conj...
...
Urs Schreiber - Higher Topos Theory in Physics
...
Emily Riehl - 关于赋予不同事物相同名字的艺术
...
Graham Manuell - 2/5 无点拓扑与构造主义数学
...
Carlos Simpson - Parabolic Higgs bundles corresponding to the the Hecke ...
...
Ingo Blechschmidt - 从证明中提取程序｜关于构造性、可实现性与双重否定的微型课程
...
[CT23] Steve Awodey - Cartesian cubical model categories
...
Matteo Capucci - Softmax 是 Argmax，及实数的逻辑
...
【数学纪录片】Alexander Grothendieck, 天才的旅途
...
Alexander Efimov - 4/6 Dualizable categories and localizing motives
...
Robert Szafarczyk - 提升概形至球谱
...
Alain Connes - Primes, Knots and the Adele Class Space
...
Alain Connes - Fun With 𝔽₁
...
Jean-Pierre SERRE - Valeurs de caractères
...
Bertrand Toën - Geometric quantization for shifted symplectic structures
...
Olivia Caramello - Relative topos theory via stacks
...
[SAG4] Felix Cherubini - Cohomology I
...
Dustin Clausen - 22/24 Analytic Stacks
...
Sam McCrosson - Exodromy