首页/论文/2005.05844

arXiv 2005.058442020-05-12math.ATmath.CT

n-复集的基本推出

Fundamental pushouts of n-complicial sets

Viktoriya Ozornova, Martina Rovelli

摘要：

本文主要研究在饱和$n$ -复集给出的$(\infty,n)$ -范畴的一个特殊实现中，严格$n$ -范畴之间的某些关系是如何保持的.在这个模型中，我们证明了$n$ -范畴的$(\infty,n)$-范畴神经与$1$ -范畴悬挂和楔形是同伦相容的。作为一个应用，我们证明了某些在$n$ -范畴中编码复合的推出是饱和$n$ -复集的同伦推出。

英文摘要：

The paper focuses on investigating how certain relations between strict $n$-categories are preserved in a particular implementation of $(\infty,n)$-categories, given by saturated $n$-complicial sets. In this model, we show that the $(\infty,n)$-categorical nerve of $n$-categories is homotopically compatible with $1$-categorical suspension and wedge. As an application, we show that certain pushouts encoding composition in $n$-categories are homotopy pushouts of saturated $n$-complicial sets.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

弱复集，一个单纯弱Ω-范畴论。部分II：复合神经灰色分类

Weak complicial sets, a simplicial weak omega-category theory. Part II: nerves of complicial Gray-categories

本文通过研究在弱复集上丰富的范畴，继续发展弱ω-范畴的单纯理论。这些复灰范畴推广了同伦理论的Kan复丰富范畴和弱3-范畴论的灰范畴。我们推导出一个单纯神经结构，这是密切相关的Cordier和波特的同伦相干神经，并表明，这忠实地表示复杂的灰色范畴弱复杂集。弱复集范畴本身可以规范地扩充为复格雷范畴，其母集是同态、强变换和修改的双范畴的高级推广。通过将我们的神经结构应用到这个结构中，我们证明了所有（小）弱复杂集及其在高维的结构态射的总和形成了一个结构丰富的（大）弱复杂集。

2006-04-19math.ATmath.CT

Gray张量积与饱和$N$ -复集

Gray tensor product and saturated $N$-complicial sets

我们表明，预张量和张量积的单纯集与标记是兼容的同伦理论饱和$N$ -复集（这是一个建议的模型$(\infty,N)$ -范畴），在一个Quillen双函子和同伦双函子的形式，分别。

2020-07-02math.ATmath.CT

互补集

Complicial Sets

本文的主要目的是把严格ω-范畴证明为具有结构的单纯集。我们证明了Street-Roberts猜想，该猜想指出它们正是John Roberts在他的手写笔记中定义和命名的“复杂集”。

2005-07-12math.ATmath.CT

一个序曲

Complicial sets, an overture

这些笔记的目的是介绍的直觉动机的概念“complicial集”，一个单纯集与某些显着的“薄”单形，见证了组成关系的单形之间的边界。通过改变标记约定，复杂集可以用于为每个$n \geq 0$（包括$n=\infty$）建模$(\infty,n)$ -类别。出于这个原因，复杂集提供了一个肥沃的设置思考弱无限维范畴在不同的维度。这一提议提出了三个行为：第一次介绍单纯模型的更高阶范畴;第二次定义的街道神经，其中嵌入严格的$ω$ -类别作为“严格”复杂集;第三次探索一个重要的饱和条件，在复杂集的标记单形，并提出了各种模型结构，捕捉其基本同伦理论。对于那些想要更深入地了解这些概念的读者，各处都有建议的练习。

2016-10-21math.ATmath.CT

弱复集，一个单纯弱Ω-范畴论。第一部分：基本同伦理论

Weak complicial sets, a simplicial weak omega-category theory. Part I: basic homotopy theory

本文发展了弱omega范畴的单形理论的基础，它建立在Ross Street在1987年关于定向单形的论文中最初阐述的见解之上。由此产生的理论弱复杂集提供了一个共同的概括理论的（严格）欧米茄类别，康复合物和Joyal的准类别。我们概括了一些结果，由于目前的作者关于复杂集和严格的欧米茄类别提供了一个军械库的表现良好的技术设备，如连接和灰色张量积，这将被用来研究这些弱欧米茄-范畴论的这些结构在一系列的同伴论文。特别地，我们通过构造以弱复集为映射对象的层单纯集范畴上的Quillen模型结构，建立了它们的基本同伦理论。作为一个简单的推论，这项工作，我们提供了一个独立的建设Joyal的模型结构的单纯集的准范畴的对象。

2006-07-12math.ATmath.CT

$(\infty,n)$ -范畴的球方法与复合方法之间的Quillen连接

A Quillen adjunction between globular and complicial approaches to $(\infty,n)$-categories

我们证明了$ω$ -范畴的悬挂结构和复合神经之间的相容性。作为一个激励性的应用，我们在Rezk的完备Segal $Θ_n$ -空间和Verity的$n$ -复集所给出的$(\infty,n)$ -范畴的模型之间建立了一个Quillen对.

2022-06-06math.ATmath.CT

更多相关论文收起更多论文

$2$ -复集与$Θ_2$ -空间的一个显式比较

An explicit comparison between $2$-complicial sets and $Θ_2$-spaces

我们在两个$(\infty,2)$ -范畴模型之间产生了一个直接的Quillen等价性：Rezk的完备Segal $Θ_2$ -空间和Verity的$2$ -复集.

2021-04-27math.AT

单纯集推出的有效同调

Effective Homology of the Pushout of Simplicial Sets

本文给出了构造单纯态射$f:X\rightarrow Y$和$g:X\rightarrow Z$推出的有效同调形式的算法，其中$X,Y$和$Z$是具有有效同调的单纯集.

2014-10-14math.AT

一个$(\infty,n)$-范畴的立方模型

A cubical model for $(\infty, n)$-categories

本文提出了一种新的$(\infty,n)$-范畴模型，基于标记立方集，并展示了其在Gray张量积下的单向性和三角化 functor 的左Quillen性质。

2025-12-20math.ATmath.CT

（预）层单纯集和预层单纯空间上$(\infty,n)$ -范畴的模型结构

Model structures for $(\infty,n)$-categories on (pre)stratified simplicial sets and prestratified simplicial spaces

我们证明了一个模型结构的分层单纯集的范畴上的存在性，其映射对象正是$n$ -复杂集，这是一个建议的模型$(\infty,n)$ -范畴，基于以前的工作Verity和Riehl。然后，我们构建了一个Quillen等效模型的基础上的单纯预层的一个类别，可以方便地与其他已建立的模型进行比较。

2020-05-22math.ATmath.CT

关于行走余归纳等价的可收缩性

About the contractibility of the walking coinductive equivalence

Max Planck Institute for Mathematics（马克斯·普朗克数学研究所）；University of Massachusetts Amherst（马萨诸塞大学阿默斯特分校）；University of Ottawa（渥太华大学）

研究行走余归纳等价的Roberts-Street神经得到的带标记单纯集，证明其为不可收缩的饱和复形集且有限截断均可收缩，给出右(∞,∞)-范畴不可收缩但到左(∞,∞)-范畴的反射可收缩的明确例子

2026-08-31math.ATmath.CT

2-范畴的神经与$(\infty,2)$ -范畴的2-范畴化

Nerves of 2-categories and 2-categorification of $(\infty,2)$-categories

证明了严格2-范畴的同伦理论以2-预复集的形式嵌入到$(\infty,2)$ -范畴的同伦理论中。更确切地说，我们构建了一个神经范畴化的adjunction，这是一个奎伦对之间的缺乏的模型结构的2类和Riehl-Verity的模型结构的2复杂集。此外，我们表明，缺乏的模型结构转移沿此神经和神经是同伦完全忠实的。

2019-02-14math.ATmath.CT

立方体与单纯形方法在$(\infty,n)$-范畴中的等价性

Equivalence of cubical and simplicial approaches to $(\infty,n)$-categories

本文证明了立方体与单纯形方法在$(\infty,n)$-范畴中的等价性，基于锥形理论的理论发展。

2025-12-20math.ATmath.CT

无联络的高阶范畴的立方模型

Cubical models of higher categories without connections

我们证明了每一个模型结构（$n$ -平凡，饱和）滑稽集的范畴内的标记的立方集只有面和退化（没有连接）是Quillen等价的相应的模型结构（$n$ -平凡，饱和）复杂集的范畴内的标记的单纯集，以及相应的滑稽模型结构的立方集的连接。因此，我们表明，三次Joyal模型结构的三次集没有连接是等价的，它的类似物的三次集的连接和Joyal模型结构的单纯集。我们还表明，任何滑稽集没有连接可以配备通过提升连接，这可以做到兼容的域和codomain的任何纤维化或cofibration滑稽集。

2022-07-15math.ATmath.CT

余span的同伦合成

Homotopy composition of cospans

众所周知，由推出构成的有限集和余跨度范畴包含泛{ \em特殊}交换Frobenius代数。在本文中，我们观察到，同样的结构也产生一般的交换Frobenius代数，如果只是推出改为同伦推出。

2016-04-27cs.LOmath.ATmath.CT

关于小非循环范畴的一个模型结构

A Model Structure On The Category Of Small Acyclic Categories

本文证明了非循环范畴上的Quillen等价上纤维生成的模型结构，它的生成上纤维与生成非循环范畴上的Quillen等价上纤维生成的模型结构相同.为了理解梅森模型的结构，我们需要仔细研究单纯集范畴上的（重心）细分内函子。这个函子有一个著名的右伴随，称为Kan的Ex函子。对基本范畴进行两次细分，得到单纯集范畴和小范畴范畴之间的一个伴随的左伴随，其右伴随通过在范畴的神经上应用两次Ex函子给出。这种附加将单纯集上的共纤生成的Quillen模型结构提升为小范畴上的共纤生成的模型结构，即Quilason模型结构。生成集由Quillen模型结构的生成集在单纯集上的像在上述附加下给出。我们还证明了非循环范畴的范畴是适当的和组合的，就说模型结构。也就是说，弱等价对于沿着纤维化和上纤维化的推出表现得很好，并且上纤维化满足某些小性条件，这些条件允许我们使用集合而不是真类。

2015-08-05math.ATmath.CT

关于$(\infty,2)$ -范畴的所有模型的等价性

On the equivalence of all models for $(\infty,2)$-categories

本文的目标是提供最后的等价需要，以确定所有已知的模型$(\infty,2)$类别。我们这样做表明，Verity的模型饱和$2$平凡复杂集是等价于Lurie的模型$\infty$双范畴，这反过来，已被证明是等价于所有其他已知的模型$(\infty,2)$类别。一个关键的技术输入是通过识别的概念，$\infty$-bicategories与弱$\infty$ -bicategories，一个步骤，使我们能够理解Lurie的模型结构的Cisinski-Olschok的理论。这种描述的$\infty$ -bicategories，这可能是独立的利益，证明了使用工具来自一个新的理论外（共）carbohydrate纤维化，进一步发展的配套文件。本文最后构造了$2$ -范畴的同伦完全忠实标度单纯神经函子，给出了它的两个等价刻画，并证明了$\infty$ -双范畴的同伦$2$ -范畴保留了足够的信息来检测薄$2$ -单纯.

2022-03-01math.ATmath.CT

单纯集的弱笛卡尔性质

Weak cartesian properties of simplicial sets

本文定义单纯集的弱拉回型完备性条件，刻画其提升性质并给出基于 $Δ$ 中推出方形分解的检验判据，例子涵盖拟范畴、compositories、gleaves 及单子代数 bar 构造。

2023-10-24math.ATmath.CT