V
主页
京东 11.11 红包
Sebastian Wolf - Higher Category Theory Internal to an Infinity Topos
发布人
https://youtu.be/jZ_Eb-UGCr8 Sebastian Wolf Higher Category Theory Internal to an Infinity Topos The goal of this talk will be to give a brief introduction to the theory of higher categories internal to an infinity-topos, developed in joint work with Louis Martini. I will also indicate why such a theory is useful to get a better understanding of the geometry of infinity topoi. If time permits, I will conclude by explaining how one can use this language to give a characterization of proper morphism of infinity topoi in the sense of Lurie.
打开封面
下载高清视频
观看高清视频
视频下载器
Urs Schreiber - Higher Topos Theory in Physics
Barbara Fantechi - Derived deformation theory - lecture 1
Raffael Stenzel - 拟范畴的高阶余极限拓扑 (Higher colimit topologies for quasi-categories)
Mathieu Anel - An example of elementary infinity-topos
Jacob Lurie - Loop Spaces, p-Divisible Groups, and Character Theory
Barbara Fantechi - Derived deformation theory - lecture 4
Calum Hughes - An elementary theory of the 2-category of small categories
André Joyal - A cartesian closed category of algebraic theories
Robert Burklund - 色零点定理 (The chromatic Nullstellensatz)
Sarah Harrison - Liouville Theory and Weil-Petersson Geometry
Barbara Fantechi - Derived deformation theory - lecture 3
Mathieu Anel - 包络∞-拓扑斯
Raffael Stenzel - The Comparison Lemma in higher topos theory
Bertrand Toën - Geometric quantization for shifted symplectic structures
Chris Schommer-Pries - 高阶范畴的同伦论的唯一性
Guangyu Zhu - The Galois group of the category of mixed Hodge-Tate structures
Dustin Clausen - The K-theory of adic spaces
Daniel Litt - Galois theory of local systems
Lucas Mann - Representation Theory via 6-Functor Formalisms
Jacob Lurie - Abstract Algebra in Homotopy-Coherent Mathematics
Emily Riehl - 关于赋予不同事物相同名字的艺术
Thomas Powell - Recursive inequalities in applied proof theory
Urs Schreiber - Higher Topos Theory in Physics
Raffael Stenzel - The (∞, 2)-categorical externalization functor
Jacob Lurie - 扩展拓扑场论的分类
Will Sawin - 1/6 函数域上的数论
Askold Khovanskii - Topological Galois Theory
Emily Riehl - 无穷范畴论的模型独立性的证明
Thomas Nikolaus - Algebraic K-Theory in Geometric Topology
[SAG3] Max Zeuner - Constructive Equivalence of the two Approaches Alg. Geometry
[SAG3] Marc Nieper-Wißkirchen - Blow ups
Barbara Fantechi - Derived deformation theory - lecture 2
Jonathan Weinberger - Synthetic fibered (∞,1)-category theory
Peter Arndt - 抽象母题同伦论 (Abstract motivic homotopy theory) II
[SAG3] Hugo Moeneclaey - Stacks
[SYCO11] Tobias Schmude - Lax Functors of Opetopic Categories
Georg Tamme - 2/3 Localizing Invariants and Algebraic K-theory
Ryomei Iwasa - 2/3 Motivic Stable Homotopy Theory
[CT23] Nathanael Arkor - The formal theory of relative monads
[CT23] Paolo Perrone - Universal properties in probability theory