V
主页
京东 11.11 红包
Steve Vickers - Locales via bundles
发布人
https://youtu.be/ml1lqRylkLw
打开封面
下载高清视频
观看高清视频
视频下载器
Steve Vickers - Spectral bundles as fibrations and opfibrations
Chris Heunen - 张量拓扑 1: 幺半范畴和中心
André Joyal - 同伦类型论: 逻辑, 范畴论与拓扑间的新桥梁
Olivia Caramello - Grothendieck toposes as unifying 'bridges' in Mathematics
Andrej Bauer - 可数实数集
Giuseppe Rosolini - 什么时候初等商完备化是一个拟拓扑斯
Mathieu Anel - 非可分拓扑简介
Ian Gleason - Meromorphic vector bundles on the Fargues-Fontaine curve
Giuseppe Rosolini - Grothendieck topologies and weak limits
Dustin Clausen - 泛函分析的新基础
Mathieu Anel - 包络∞-拓扑斯
André Joyal - 拓扑斯的三种变体
Cecilia Flori - 历史量子理论的拓扑斯表述
Aurelien Sagnier - 迈向某些位处的算数址 (arithmetic sites)
Jens Hemelaer - An arithmetic topos for integer matrices (and other monoids)
Mathieu Anel - 拓扑斯类比于交换环 2
Alex Simpson - 真随机性的数学理论(第2部分): 相对随机性及其公理的推论
Chris Heunen - 张量拓扑 3: 无点拓扑和泛上确界
Michael Shulman - 同伦类型论的二维语义
Chris Heunen - 幺半范畴的层表示
Ieke Moerdijk - 树状集合 (dendroidal sets) 拓扑斯
Cisinski, Nguyen, Walde - 泛等有向类型论 (Univalent Directed Type theory), 第3部分
[Palmgren Memorial] Steve Vickers - 算数宇宙: 自由代数之家
Francis Borceux - 拓扑斯理论的非正式概述, 第1课: 层拓扑斯
Mathieu Anel - 拓扑斯在空间形式化中的地位
Axel Osmond - 谱与几何
Peter Arndt - Ranges of functors and elementary classes via topos theory
Hoang Kim Nguyen - 单纯集里的有向泛等性
Constanze Roitzheim - Introduction to Chromatic Homotopy Theory I
David Jaz Myers - 三种现实主义与层的想法
Axel Osmond - 迈向2维谱构造
Mathieu Anel - 拓扑斯类比于交换环 1
Martín Escardó - HoTT/UF 中的紧序数
Francis Borceux - 拓扑斯理论的非正式概述, 第3课: 内部拓扑和层
Jens Hemelaer - 幺半群上的预层拓扑斯与它们的点
Juan F. Meleiro - 迈向模块化数学 (Modular Mathematics)
Chris Heunen - 张量拓扑 4: 层和表示定理
James Borger - 半环的平坦基本群 (根据 R. Culling)
Chris Heunen - Sheaf representation of monoidal categories
[Palmgren Memorial] José Siqueira - 一种基于tripos理论的非标准分析