V
主页
京东 11.11 红包
Mathieu Anel - An example of elementary infinity-topos
发布人
https://youtu.be/fjBpUdhAHDo Mathieu Anel - An example of elementary infinity-topos
打开封面
下载高清视频
观看高清视频
视频下载器
Mathieu Anel - 包络∞-拓扑斯
Mathieu Anel - 数学中的歧义性
Mathieu Anel - 拓扑斯类比于交换环 2
Mathieu Anel - 拓扑斯在空间形式化中的地位
Calum Hughes - An elementary theory of the 2-category of small categories
Mathieu Anel - 拓扑斯类比于交换环 1
Mathieu Anel - 非可分拓扑简介
Peter Arndt - Ranges of functors and elementary classes via topos theory
Mathieu Anel - A small object argument for unique factorization systems
Jens Hemelaer - An arithmetic topos for integer matrices (and other monoids)
Sebastian Wolf - Higher Category Theory Internal to an Infinity Topos
Jacopo Emmenegger - Elementary fibrations and quotients of groupoids
Luca Mesiti - Grothendieck 2-topoi are elementary 2-topoi
Robert Burklund - 色零点定理 (The chromatic Nullstellensatz)
Bertrand Toën - Geometric quantization for shifted symplectic structures
André Joyal - Higher sheaves
Chris Schommer-Pries - 高阶范畴的同伦论的唯一性
Steve Vickers - Spectral bundles as fibrations and opfibrations
[CT23] Matías Menni - A "Basis Theorem" for 2-rigs and Rig Geometry
Raffael Stenzel - 拟范畴的高阶余极限拓扑 (Higher colimit topologies for quasi-categories)
Raffael Stenzel - The (∞, 2)-categorical externalization functor
[SAG3] Hugo Moeneclaey - Stacks
[SAG4] Felix Cherubini - Cohomology I
André Joyal - 同伦类型论: 逻辑, 范畴论与拓扑间的新桥梁
Cecilia Flori - 历史量子理论的拓扑斯表述
Grigorios Giotopoulos - Classical field theory in the topos of smooth sets
Barbara Fantechi - Derived deformation theory - lecture 1
Giuseppe Rosolini - 什么时候初等商完备化是一个拟拓扑斯
Aurelien Sagnier - 迈向某些位处的算数址 (arithmetic sites)
André Joyal - 拓扑斯的三种变体
Andrej Bauer - 可数实数集
Olivia Caramello - Grothendieck toposes as unifying 'bridges' in Mathematics
[SAG3] Ingo Blechschmidt - Serre Affineness
Steve Vickers - Locales via bundles
Barbara Fantechi - Derived deformation theory - lecture 2
Emily Riehl - 关于赋予不同事物相同名字的艺术
Juan F. Meleiro - 迈向模块化数学 (Modular Mathematics)
Giuseppe Rosolini - Grothendieck topologies and weak limits
Barbara Fantechi - Derived deformation theory - lecture 4
Ieke Moerdijk - 树状集合 (dendroidal sets) 拓扑斯