V
主页
京东 11.11 红包
Emily Riehl - 无穷范畴的综合理论 vs 无穷范畴的综合理论
发布人
https://youtu.be/3vqMD2kMVS0
打开封面
下载高清视频
观看高清视频
视频下载器
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 - 复乘理论和实二次域