京东 11.11 红包
Emily Riehl - 无穷范畴的综合理论 vs 无穷范畴的综合理论
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
Emily Riehl - 数学家，音乐家，教育者
...
【K理论仙境】从负数到K理论
...
Emily Riehl - 在Rzk证明助手中形式化无穷范畴论
...
Emily Riehl - 计算效应的范畴视角
...
Dominic Verity - 无穷范畴的禅与艺术
...
André Joyal - 同伦类型论: 逻辑, 范畴论与拓扑间的新桥梁
...
Emily Riehl - 关于赋予不同事物相同名字的艺术
...
Matteo Capucci - 更多范畴论为更多的控制论
...
Emily Riehl - 无穷范畴论基础
...
Emily Riehl - Lecture 2: Path induction and the indiscernibility of identicals
...
Fosco Loregian - 迈向导子 (derivators) 的形式范畴论
...
Emily Riehl - Lecture 1: Contractibility as Uniqueness
...
Simon Willerton - 将度量空间视为丰饶范畴 (enriched categories)
...
David Corfield - 范畴论的哲学视角
...
Lyne Moser - 构造模型范畴的新方法
...
Seerp Roald Koudenburg - 在形式范畴论中形式化大小
...
Chris Schommer-Pries - 高阶范畴的同伦论的唯一性
...
Semih Özlem - On the motivic Galois group of a number field
...
Emily Riehl - 形式化后严格数学
...
Emily Riehl - 同伦类型论的无穷拓扑斯语义 I：依赖类型论的范畴语义
...
Simon Willerton - Legendre-Frenchel变换: 范畴论视角
...
David Hansen - 3/3 GLₙ 的范畴局部朗兰兹
...
Michael Barany - 范畴如何变得重要: 关于现代数学中范畴的历史与社会学
...
Chris Heunen - 张量拓扑 1: 幺半范畴和中心
...
[SYCO11] Damiano Mazza - 基于范畴论的描述复杂性理论
...
Christian Espíndola - Shelah最终范畴性猜想的一种拓扑斯理论证明
...
Ivo Dell'Ambrogio - Mackey函子之Yoshida定理的范畴化
...
Serge Bouc - Correspondence functors
...
Emily Riehl - 矩阵范畴里的米田引理（Yoneda lemma）
...
代数拓扑讨论班- Lecture 1.1 范畴论回顾
...
Toma Albu - 模格上的预根与其在Grothendieck范畴和torsion理论上的应用
...
Emily Riehl - 同伦类型论的无穷拓扑斯语义 II：泛等基础的单纯形模型
...
Amritanshu Prasad - 物种, 第一讲
...
[SYCO11] Daniela Petrisan - 语义学和自动机理论中effects的复合性
...
Emily Riehl - 无穷范畴论的模型独立性的证明
...
Elaine Landry - 假如范畴论是一种数学基础
...
James Borger - Lambda-代数几何1: 范畴论包装
...
[CT23] Session in honour of Bill Lawvere
...
[SYCO11] Aziz Kharoof - 单纯型分布、凸范畴和上下文相关性
...
Henri Darmon - 复乘理论和实二次域