首页/论文/2210.04549

arXiv 2210.045492022-10math.CTmath.AT

迭代Segal空间的粘贴定理

A pasting theorem for iterated Segal spaces

Jaco Ruit

备注：: 43 pages; v2 final journal version with improvements suggested by the referee
发表信息：: J. Pure Appl. Algebra 228 (2024), no. 11, 107712
DOI：: 10.1016/j.jpaa.2024.107712

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

AI总结：

该研究提出迭代Segal空间的粘贴形状新概念以分类d重Segal空间的特定合成胞腔排列，并借助该形式体系证明了对应迭代Segal空间的粘贴定理。

摘要：

我们提出了一种用于迭代Segal空间的粘贴形状新概念，它对d重Segal空间中特定的合成胞腔排列进行分类。利用该形式体系，我们进一步证明了这类迭代Segal空间的粘贴定理。

英文摘要：

We introduce a novel notion of pasting shapes for iterated Segal spaces which classify particular arrangements of composing cells in d-uple Segal spaces. Using this formalism, we then continue to prove a pasting theorem for these iterated Segal spaces.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

关于$Θ_{n}$ -空间与迭代Segal空间的等价性

On the equivalence between $Θ_{n}$-spaces and iterated Segal spaces

本文给出了$(\infty,n)$ -范畴的两个主要模型，即Barwick的$n$ -fold Segal空间和Rezk的$Θ_{n}$ -空间之间等价性的一个新证明，证明了它们是$n$ -球空间的$\infty$ -范畴上的同一单子的代数.该证明适用于包括所有$\infty$ -topoi的广泛的$\infty$ -范畴类。

2020-10-31math.ATmath.CT

单纯形范畴的迭代圈积与迭代闭路空间

Iterated wreath product of the simplex category and iterated loop spaces

推广Segal的方法1倍闭路空间，同伦理论的$n$倍闭路空间被证明是等价的同伦理论的约化$Θ_n$ -空间，其中$Θ_n$是一个迭代圈积的单纯形范畴$Δ$。从$Θ_n$到$Γ$的函子序列允许与$Γ$空间相关联的Segal谱的替代描述。特别地，每个Eilenberg-MacLane空间$K(π,n)$具有规范简化的$Θ_n$ -集模型。

2006-07-04math.ATmath.CT

通过松驰网格的 $(\infty, n)$-范畴的 Gray 积

The Gray Product of $(\infty, n)$-Categories via Lax Grids

University of Regensburg（雷根斯堡大学）；Hebrew University of Jerusalem（耶路撒冷希伯来大学）

本文引入基于松驰网格的 Segal 层作为 $(\infty,n)$-范畴的新模型，通过 Day 卷积直接构造 Gray 张量积，并证明其与 Campion 构造一致，未来将用于赋予配边高范畴以流形笛卡尔积给出的 Gray 代数结构。

2026-07-08math.ATmath.CT

同伦离散高范畴结构

Homotopically discrete higher categorical structures

我们引入同伦离散n重范畴的概念作为一个没有非平凡圈的广群的n重推广。我们给出两个等价的描述这种结构：在一个Segal型模型和迭代的内部等价关系。我们还表明，同伦离散的n重范畴形成一个0型的n重范畴模型。

2016-05-17math.CT

$\infty$ -宇宙中的纤维化和Yoneda引理

Fibrations and Yoneda's lemma in an $\infty$-cosmos

我们使用术语$\infty$ -范畴和$\infty$ -函子来表示$\infty$ -宇宙中的对象和态射：一个满足一些公理的简单丰富范畴，让人想起一个丰富的范畴的对象。拟范畴、Segal范畴、完备Segal空间、标记单纯集、迭代完备Segal空间、$θ_n$ -空间以及它们各自的纤维化版本都是这个意义上的$\infty$ -范畴。本系列以前的工作表明，$\infty$ -范畴和$\infty$ -函子的基本范畴论只能参照$\infty$ -宇宙的公理来发展;实际上，大部分工作是同伦2-范畴、$\infty$ -范畴、$\infty$ -函子和自然变换的严格2-范畴的内部工作。在准范畴的$\infty$ -宇宙中，我们精确地重新获得了由Joyal和Lurie发展的相同的范畴论，尽管我们的定义自然是2-范畴的，没有利用区分每个模型的组合细节。本文介绍了一类$\infty$ -函子--carnivibration及其群胚变体。笛卡尔纤维化形成了一个基石，在抽象处理的“类范畴”结构的一个洛杉矶街，并发挥了重要作用，在卢里的工作准范畴。在建立了它们的基本理论之后，我们陈述并证明了Yoneda引理，它具有可表示纤维化映射的拟范畴与纤维在其表示元上的拟范畴之间的等价形式。一个配套文件将应用这些结果建立一个演算的模块之间的$\infty$类别，这将被用来定义和研究点态Kan扩展沿$\infty$…

2016-06-13math.ATmath.CT

从无到有的无限范畴论

Infinity category theory from scratch

我们使用术语“$\infty$ -categories”和“$\infty$ -functors”来表示“$\infty$ -cosmos”中的对象和态射。“拟范畴、Segal范畴、完备Segal空间、自然标记单纯集、迭代完备Segal空间、$θ_n$ -空间以及它们各自的纤维化版本在这个意义上都是$\infty$ -范畴。我们表明，基本的范畴论的$\infty$ -范畴和$\infty$ -函子可以从一个$\infty$ -宇宙的公理发展;事实上，大部分的工作是内部的一个严格的2-范畴的$\infty$ -范畴，$\infty$ -函子，和自然变换。在准范畴的$\infty$ -宇宙中，我们精确地重新获得了Joyal和Lurie所发展的同一理论，尽管在大多数情况下，我们的定义是2-范畴的而不是组合的，是标准概念的新的化身。在第一讲中，我们定义了一个$\infty$ -宇宙，并引入了它的“同伦2-范畴”，利用形式范畴论定义和研究了$\infty$ -范畴之间的等价和互逆。在第二讲中，我们研究了取值于$\infty$ -范畴的图的（上）极限以及（上）极限与极限之间的关系。在第三讲中，我们引入了逗号$\infty$ -范畴，它们被用来编码（余）极限和伴随性的泛性质，并证明了“模型独立性”结果。在第四讲中，我们介绍了（上）卡氏纤维化，描述了$\infty$ -范畴之间的“模”演算，并利用…

2019-09-19math.ATmath.CT