V
主页
京东 11.11 红包
Martín Escardó - HoTT/UF 中的紧序数
发布人
https://youtu.be/zR-dcvC7LN0 Martín Escardó- Compact ordinals in HoTT/UF
打开封面
下载高清视频
观看高清视频
视频下载器
Cecilia Flori - 历史量子理论的拓扑斯表述
André Joyal - Higher sheaves
Jens Hemelaer - An arithmetic topos for integer matrices (and other monoids)
Olivia Caramello - Grothendieck toposes as unifying 'bridges' in Mathematics
André Joyal - 同伦类型论: 逻辑, 范畴论与拓扑间的新桥梁
Francis Borceux - 拓扑斯理论的非正式概述, 第1课: 层拓扑斯
Francis Borceux - 拓扑斯理论的非正式概述, 第3课: 内部拓扑和层
Constanze Roitzheim - Introduction to Chromatic Homotopy Theory I
Mathieu Anel - 包络∞-拓扑斯
David Jaz Myers - 逻辑拓扑与公理凝聚性 (axiomatic cohesion)
David J. Myers - Homotopy Manifolds and Tangent Bundles in HoTT
Mathieu Anel - 拓扑斯类比于交换环 1
Cisinski, Nguyen, Walde - 泛等有向类型论 (Univalent Directed Type theory), 第3部分
Emily Riehl - 同伦类型论的无穷拓扑斯语义 II:泛等基础的单纯形模型
Carmen Constantin - 熵的语境视角
Aurelien Sagnier - 迈向某些位处的算数址 (arithmetic sites)
Chris Heunen - 张量拓扑 3: 无点拓扑和泛上确界
Dustin Clausen - 泛函分析的新基础
Mathieu Anel - 拓扑斯类比于交换环 2
Peter Arndt - Ranges of functors and elementary classes via topos theory
[CT23] Davide Trotta - Sheafification as a geometric tripos-to-topos adjunction
Ingo Blechschmidt - 拥抱本源素理想 (generic prime ideal):一个迷人的数学幻影的故事
André Joyal - 拓扑斯的三种变体
Giuseppe Rosolini - 什么时候初等商完备化是一个拟拓扑斯
Olivia Caramello - 拓扑斯之态射与等价的几何 2/3
Hoang Kim Nguyen - 单纯集里的有向泛等性
Ieke Moerdijk - 树状集合 (dendroidal sets) 拓扑斯
Emily Riehl - 同伦类型论的无穷拓扑斯语义 I:依赖类型论的范畴语义
[Palmgren Memorial] Maria Emilia Maietti - 谓词拓扑斯是何种概念?
Ingo Blechschmidt - 构造主义数学的新模态算子
James Borger - 半环的平坦基本群 (根据 R. Culling)
Andrej Bauer - 可数实数集
Olivia Caramello - Relative topos theory via stacks
Steve Vickers - Locales via bundles
Steve Awodey - 来自HoTT模型的模型结构
Aurelien Sagnier - 复位处的算数址 (arithmetic site)
Grigorios Giotopoulos - Classical field theory in the topos of smooth sets
Georges Gonthier - 山麓和大教堂: 组织大型证明背后的库
Christian Espíndola - Shelah最终范畴性猜想的一种拓扑斯理论证明
Axel Osmond - 谱与几何