Christian Espíndola - Shelah最终范畴性猜想的一种拓扑斯理论证明
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
André Joyal - 同伦类型论: 逻辑, 范畴论与拓扑间的新桥梁
...
Christian Espíndola - 无限量词理论中的范畴性
...
Francis Borceux - 拓扑斯理论的非正式概述, 第1课: 层拓扑斯
...
André Joyal - 拓扑斯的三种变体
...
Mathieu Anel - 拓扑斯类比于交换环 2
...
Francis Borceux - 拓扑斯理论的非正式概述, 第3课: 内部拓扑和层
...
Cecilia Flori - 历史量子理论的拓扑斯表述
...
Christian Espíndola - 无限逻辑里的Morley定理
...
Ieke Moerdijk - 树状集合 (dendroidal sets) 拓扑斯
...
Laurent Lafforgue - 拓扑斯作为几何形式与语言描述间的桥梁，第一课：格罗滕迪克拓扑，层，拓扑斯与点
...
Chris Isham - 物理学理论表述中的拓扑斯理论
...
Giuseppe Rosolini - 什么时候初等商完备化是一个拟拓扑斯
...
Mathieu Anel - 包络∞-拓扑斯
...
André Joyal - 拓扑斯理论的几何方面与逻辑教义的关系
...
Christian Espíndola - 扩展到无限量词语言的Morley范畴性定理
...
Christian Espíndola - 拓扑斯理论性的完备性定理
...
André Joyal - Higher sheaves
...
Mathieu Anel - 拓扑斯在空间形式化中的地位
...
Jacob Lurie - Fourier理论的范畴化
...
Mathieu Anel - 拓扑斯类比于交换环 1
...
Olivia Caramello - 拓扑斯理论视角的模型论导引 (II)
...
[Palmgren Memorial] Maria Emilia Maietti - 谓词拓扑斯是何种概念?
...
Amir Akbar Tabatabai - 拓扑斯理论：独立性的统一方法
...
David Jaz Myers - 逻辑拓扑与公理凝聚性 (axiomatic cohesion)
...
Aurelien Sagnier - 迈向某些位处的算数址 (arithmetic sites)
...
Dustin Clausen - 泛函分析的新基础
...
Jean-Claude Belfiore - 用于无线网络的拓扑斯: 一个想法，它的时代已经来临
...
Mathieu Anel - 非可分拓扑简介
...
Jens Hemelaer - 幺半群上的预层拓扑斯与它们的点
...
Chris Heunen - 张量拓扑 1: 幺半范畴和中心
...
Francis Borceux - 拓扑斯理论的非正式概述, 第2课: 基本拓扑斯
...
Axel Osmond - 谱与几何
...
Cisinski, Nguyen, Walde - 泛等有向类型论 (Univalent Directed Type theory), 第3部分
...
Peter Arndt - Ranges of functors and elementary classes via topos theory
...
Olivia Caramello - Grothendieck toposes as unifying 'bridges' in Mathematics
...
Raffael Stenzel - 高阶拓扑斯理论中证明相关性
...
Francis Borceux - 拓扑斯理论的非正式概述, 第4课: 拓扑斯的内部逻辑
...
Jens Hemelaer - An arithmetic topos for integer matrices (and other monoids)
...
Olivia Caramello - 拓扑斯之态射与等价的几何 3/3
...
Emily Riehl - 同伦类型论的无穷拓扑斯语义 II：泛等基础的单纯形模型