广义Blakers-Massey定理

@第{Anel2017AGB条，title={广义Blakers–Massey定理}，author={Mathieu Anel和George Biedermann以及Eric Finster和Andr Joyal}，journal={拓扑杂志}，年份={2017年}，体积＝{13}，网址={https://api.semanticscholar.org/CorpusID:119280391}}
我们证明了Blakers–Massey经典连通性定理的推广，该定理在任意更高的拓扑中有效，并且关于任意模态，即左类通过基变化而稳定的因子分解系统（L，R）。我们解释了如何重新推导经典结果，以及最近对Chachólski、Scherer和Werndli的推广（Ann.Inst.Fourier 66（2016）2641–2665）。我们的证明受到Favonia等人（2016
对威利的看法
[PDF]语义阅读器

44引文

CDGA的三次Blakers-Massey定理

我们陈述并证明了Blakers-Massey定理的代数版本。Blakers-Massey定理是伦理学中的一个经典结果，它测量了对伦理学切除的阻碍。它还可以…

初等高等地形中的截断和Blakers-Massey

我们研究初等高等拓扑中的截断和连通对象。特别地，我们证明了它们具有与空间中相同的行为，使用自然数构造了一个通用截断函子…

同伦类型理论中的模态

发展了同伦类型理论中的因式分解系统、反射子宇宙和模态理论，包括使用“局部化”更高归纳类型构造它们。

Goodwillie函子演算与高等拓扑理论

我们利用高等拓扑理论的技术发展了一种研究Goodwillie函子演算的方法。我们方法的核心是引入纤维正交性的概念…

π4（S3）≅Z/2Z的形式化及立方Agda中Brunerie数的计算

本文给出了Brunerie证明三球面第四同伦群是立方Agda中ℤ/2𔭰这一经典结果的完整形式化，并给出了一个新的、更简单的β是±2的证明。

单叶数学中的同态与非循环类型

我们将同伦类型理论（HoTT）中的表态刻画为纤维状无环映射，并在合成同伦的背景下对无环映射和类型进行了类型理论处理…

所有$（\infty，1）$-拓扑都有严格的单价宇宙

我们证明了一个猜想，即任何Grothendieck$（\infty，1）$-拓扑都可以由一个Quillen模型范畴表示，该模型范畴解释了具有严格单叶宇宙的同伦类型理论。因此，同伦类型…

Bishop集的立方语言

XTT是专门用于Bishop集的笛卡尔三次型理论的一个版本，其中每种类型都具有唯一性的定义版本。

非循环映射的一些特征

我们讨论了空间间非循环映射类的两个范畴刻划。第一个是根据一个同构的更高范畴概念。第二个使用…

H IGHER通过模态棱镜结构良好的纤维

同伦类型理论是一种进行抽象同伦理论研究的形式语言，即识别研究。但在未经修改的同伦类型理论中，无法说这些标识…

27参考文献

同伦类型理论中Blakers-Massey连通性定理的机械化

一个被称为Blakers–Massey连通性定理的结果的机械化证明，该定理将共享公共部分的两个空间的高维回路结构与公共部分本身的回路结构联系起来。

BLAKERS-MASSEY定理的证明

阐述了弗洛伊登塔尔悬置定理和布莱克斯·梅西定理的一些证明。由于Lumsdaine，这些是同伦类型理论中证明的反向工程版本，…

Goodwillie函子演算与高等拓扑理论

我们利用高等拓扑理论的技术发展了一种研究Goodwillie函子演算的方法。我们方法的核心是引入纤维正交性的概念…

光纤局部化与立方体定理

在本文中，我们解释了何时可以在模型类别中构造纤维状局部化。对于点空间，一般的想法是将纤维的总空间分解为一个图…

同伦切除与细胞分化

考虑一个空间C B的推出图，构造同伦推出，然后通过忘记初始对象a得到图的同伦回拉…

微积分II：解析函子

同伦函子（例如，从空间到空间）被称为解析函子，如果在某些n立方图上求值时，它们满足某些连接性估计。用于验证这些的工具…

拓扑和同伦拓扑

这份文件是在2005年秋季我做了一系列关于“高等拓扑理论”的讲座时创建的。当时的基本参考文献是Toen-Vezzosi的论文[TV05]和Lurie的文件…

同伦理论中的回拉

（基）同伦范畴由（基）拓扑空间和（基）映射同伦类组成。在这些类别中，通常不存在回拉和推出。例如，没有…

范畴中因子分解系统的构造

细胞空间、零空间和同伦局部化

联合同伦幂等定位函子增广同伦幂等函子？的换向规则？，Lf和CWA，保存腓骨和共腓骨Dold-Thom对称…