Weakly globular N-fold categories as a model of weak N-categories
本文研究了作者以前提出的一类新的高级范畴结构，称为弱球形n-fold范畴。我们表明，这种结构是一个模型的弱n-范畴证明它是适当的等价的Tamsamani-Simpson模型。我们还引入了群胚弱球形n重范畴，并证明了它们是n型的代数模型。
2016-09-13 math.CT
Bicategories and Weakly Globular Double Categories
本文引入了弱球形双范畴的概念，这是严格双范畴的一个特殊类别，作为弱2-范畴的一种建模方法;探讨了它在定义分数双范畴中的应用，并证明了群胚弱球形双范畴的子2-范畴形成了同伦2-类型的代数模型。
2013-03-27 math.CT
Euler characteristic for weak n-categories and $\left(\infty,1\right)$-categories
Leinster利用丰富范畴理论定义了有限严格n-范畴的欧拉示性数。这是一个扩展的一些他的早期工作，其中定义欧拉示性数有限类别。在Leinster工作的基础上，我们将欧拉示性数的概念推广到某些有限弱2-范畴，并给出了一个类似推广到弱n-范畴的草图.我们还讨论了欧拉示性数到某些有限$\left(\infty,1\right)$ -范畴的推广。
2015-07-23 math.CT
Weakly exact categories and the snake lemma
推广了正合范畴的概念，引入了弱正合范畴。蛇引理在此一般设置的证明。给出了弱正合范畴中同调代数的一些应用。
2009-01-16 math.CT
Hom weak $ω$-categories of a weak $ω$-category
弱高维范畴的经典定义是归纳给出的;例如，一个双范畴有一组对象和hom范畴，而一个三范畴有一组对象和hom双范畴。然而，最近对所有自然数$n$的弱$n$ -范畴或弱$ω$ -范畴的定义采用了更复杂的方法，并且“hom”的性质通常不是直接来自定义。本文在Batanin的弱$ω$ -范畴定义的基础上，重点讨论了Leinster的弱$ω$ -范畴定义，并为每个弱$ω$ -范畴构造了一个由相同对象组成的基础（弱$ω$ -范畴）-富集图$\mathcal{A}$，为每对对象构造了一个Hom弱$ω$ -范畴$\mathcal{A}(x,y)$ .我们还表明，我们的建设是函的弱$ω$ -函子介绍加纳。
2021-10-31 math.CT
Admissible weak factorization systems on extriangulated categories
本文在外三角范畴中引入容许弱分解系统，建立了其与余挠对的双射，并在特定条件下通过该系统证明了遗传余挠对与相容余挠对的等价关系，推广了已有结果。
2024-08-27 math.CT
$ω$-weak equivalences between weak $ω$-categories
研究Batanin-Leinster意义下弱ω-范畴间的ω-弱等价，定义其为各维度本质满射的严格ω-函子（与严格ω-范畴模型范畴弱等价一致），证明其及Garner意义下弱ω-函子推广形式均具2-out-of-3性质。
2025-06-02 math.CT
Orientals as free weak $ω$-categories
东方人是自由严格$ω$ --由Street引入的单形范畴。本文的目的是证明它们也是同一生成数据上的自由弱$ω$ -范畴。更确切地说，我们展示了东方人的街道神经作为Verity的模型结构中的单纯形的替代品。
2023-02-16 math.CT
Involutive Weak Cubical $ω$-categories
本文采用Penon的单子代数方法定义并研究对合弱立方 $ω$-范畴，并提供了若干具体例子。
2025-05-20 math.CT
Dendroidal weak 2-categories
讨论了Moerdijk和Weiss提出的弱高阶范畴的树状概念，证明了树状弱2-范畴等价于双范畴.
2013-04-15 math.AT math.CT
Weakly globular double categories and weak units
本文建立弱球状双范畴与 fair 2-范畴的直接比较，证明二者在关于 2-等价局部化后等价，并揭示其严格结合复合与弱单位结构。
2025-03-14 math.AT math.CT
Doubly weak double categories
本文提出了一种双范畴的定义，其中1-胞腔在两个方向上的复合都是弱的，并通过双计算域、隐式双范畴以及整理条件等不同方式刻画了这种双弱双范畴。
2026-03-17 math.CT
Involutive Weak Globular Higher Categories
本文利用Jacque Penon的方法研究了对合弱球形$ω$ -范畴的概念。特别地，我们给出了$ω$ -球集上自由自对偶球$ω$ -岩浆和自由严格对合球$ω$ -范畴的结构，以及它们之间的压缩.对合弱球形$ω$ -范畴的单子定义通常是通过代数给出的。在我们的例子中，附加函数是从“自由函子“中获得的，它将上述收缩与每个$ω$ -球形集合相关联。文中还给出了对合弱球形$ω$ -范畴的一些例子。
2017-09-27 math.CT
On factorisation systems for Ord-enriched categories and categories of partial maps
在这项工作中，我们讨论了一种新的类型的分解系统的\textbf{Ord}丰富的范畴。我们首先定义了新的概念，松弛弱正交性，这涉及到松弛平方松弛对角态射的存在。以通常的因子分解系统理论为蓝本，我们引入了弱函子因子分解系统的宽松版本。我们提供了一个宽松的函子弱因子分解系统，即宽松的弱因子分解系统，使他们的因式分解是宽松的函子。然后，我们提出了一个特殊的情况下，这种宽松的函子弱因子分解系统配备了额外的宽松单子结构。最后，我们探讨了一些例子，这些因式分解系统的类别部分地图配备了自然秩序丰富。我们将首先构建一个特定的松散的代数弱因式分解系统的类别的部分地图，隔离的总数据和部分域的部分地图。然后讨论了部分映射的基范畴上的因子分解系统与诱导范畴上的oplax因子分解系统之间的关系。
2021-03-12 math.CT
Weak $\infty$-categories via terminal coalgebras
更高的范畴结构通常是通过维数归纳来定义的，先验地只产生有限维的结构。在本文中，我们展示了如何扩展这样的定义到无限维使用的理论终端余代数，我们将这种方法Trimble的概念的弱n-范畴。Trimble的定义明确了n-范畴与拓扑空间之间的关系;我们的推广理论给出了Trimble无穷范畴的定义和无穷广群胚的基本构造。此外，终结余代数通常被构造为某种类型的极限。我们证明了Batanin-Leinster弱无穷范畴理论正是作为这样一个极限而产生的，从而证明了我们对Trimble无穷范畴的研究是合理的。事实上，我们是在无穷范畴的单子层次上工作的，而不是无穷范畴本身;这需要更复杂的技术，但也提供了一个更完整的结构理论。
2019-11-04 math.CT
Weak Omega Categories I
我们发展了一个弱Ω范畴的理论，任何熟悉范畴和函子语言的人，以及遇到严格2-范畴定义的人，都可以使用这个理论。这个理论最显著的特点是它的简单性。我们建立在一个想法，由于雅克Penon通过定义一个弱欧米茄类别是一个跨度的欧米茄岩浆具有某些性质。(An omega magma是一个自反的球形集合，具有部分定义的二元合成操作系统，该系统尊重球形结构。范畴、双范畴、严格欧米加范畴和佩农的弱欧米加范畴都是我们的弱欧米加范畴的实例。我们提供了一个启发式的论点，证明声称Batanin的弱欧米茄类别也适合我们的框架。我们表明，Baez-Dolan稳定化假设是我们定义的弱欧米茄类别的直接后果。我们定义了一个自然的概念之间的伪函子弱欧米茄类别，并表明，它包括经典的概念之间的同态bicategories。在任何弱Ω范畴中，与固定1-胞腔的复合运算定义了这样一个伪函子。最后，我们定义了弱Ω范畴之间的弱等价概念，它推广了普通范畴之间等价的标准定义。
2004-04-11 math.AT math.CT
Gray-categories model algebraic tricategories
Lack在Gray-范畴和Gray-函子的范畴GrayCat上描述了一个Quillen模型结构，其中弱等价是弱3-等价.本文采用Gurski，Johnson和Osorno的方法证明了GrayCat在弱等价上的局部化等价于代数三范畴和弱3-函子的伪自然等价类范畴.
2022-03-07 math.CT
Weak complicial sets, a simplicial weak omega-category theory. Part II: nerves of complicial Gray-categories
本文通过研究在弱复集上丰富的范畴，继续发展弱ω-范畴的单纯理论。这些复灰范畴推广了同伦理论的Kan复丰富范畴和弱3-范畴论的灰范畴。我们推导出一个单纯神经结构，这是密切相关的Cordier和波特的同伦相干神经，并表明，这忠实地表示复杂的灰色范畴弱复杂集。弱复集范畴本身可以规范地扩充为复格雷范畴，其母集是同态、强变换和修改的双范畴的高级推广。通过将我们的神经结构应用到这个结构中，我们证明了所有（小）弱复杂集及其在高维的结构态射的总和形成了一个结构丰富的（大）弱复杂集。
2006-04-19 math.AT math.CT
Weak Hopf monoids in braided monoidal categories
我们发展了辫状幺半范畴范畴中的弱双序理论，并证明了它们在一定意义上是量子范畴。弱Hopf幺半群被证明是量子群胚。每个可分的Frobenius幺半群R导致一个弱Hopf幺半群R \otimes R。
2008-01-26 math.CT math.QA
Computads with invertible generators for weak ω-categories
Laboratoire Méthodes Formelles, CNRS, ENS Paris-Saclay, Université Paris-Saclay（形式方法实验室，法国国家科学研究中心，巴黎萨克雷高等师范学校，巴黎萨克雷大学）；Department of Computer Science and Technology, University of Cambridge（剑桥大学计算机科学与技术系）
扩展弱ω-范畴的computad概念以允许标记可逆生成元，并归纳描述它们生成的自由ω-范畴，从而给出行走等价和分类可逆胞腔的ω-范畴的简单有限描述。
2026-06-29 math.CT
Quantaloid-enriched categories: Factorization, weak classifiers, and symmetry
本文研究了quantaloid-enriched范畴的基础性质，证明了其左伴随分配子范畴存在(epi, extremal mono)-分解系统，并在稳定性条件下满足弱子对象分类子公理，进而将结构结果推广至quantale值集。
2025-10-11 math.CT
Weak braided monoidal categories and their homotopy colimits
我们表明，同伦colimit建设图的类别与操作动作，最近推出的Fiedorowicz，Stelzer和Vogt，具有所需的同伦类型的弱编织幺半范畴的图。这提供了一种更灵活的方式来实现E-2空间的分类。
2014-10-24 math.AT math.CT
On Naturally and Weakly Mal'tsev Categories
本文探究范畴代数中Mal'tsev、自然Mal'tsev和弱Mal'tsev范畴的层次结构，通过引入乘法有向风筝结构及风筝条件，统一描述这些概念并推广结果至更广泛范畴。
2025-08-18 math.CT
Weak enriched categories - Categories enrichies faibles
本文证明了弱充实范畴存在闭模型范畴结构的一个定理。它首先要求弱充实范畴的定义和弱充实范畴的等价，使得这些定义恢复了一些已有的高阶弱范畴的概念，例如Segal范畴，Tamsamani n-范畴和严格n-范畴。为了证明我们的定理，我们阐述了一个理论的计划细胞添加以下的方法的小对象参数一拉奎伦。最后，我们证明了我们的定理恢复了Segal范畴的情况。这最后一个结果需要Segal广群和拓扑空间之间的一个基本广群-几何实现附接。
2003-08-26 math.AG math.AT math.CT
Weak Fusion 2-Categories
我们引入arXiv：1812.11933中给出的fusion 2-范畴概念的一个弱化。然后，我们建立了（多）融合2-范畴的一些性质。最后，我们描述了融合2-范畴与特定的点编织融合范畴的融合规则。
2021-12-21 math.CT math.QA
$ω$-equifibrations between strict and weak $ω$-categories
本文研究Batanin-Leinster意义下弱ω-范畴间的ω-等纤维化，通过严格ω-函子集合J的右提升性质刻画该概念，证明相关构造与已有结论一致，且严格ω-范畴间的该类纤维化与folk模型结构纤维化重合。
2025-11-13 math.CT
A homotopy-theoretic universal property of Leinster's operad for weak omega-categories
我们解释了如何cofibrantly产生的弱因子分解系统的一个类别可能配备了一个普遍的和规范确定的选择cofibrant-replacement。然后，我们将其应用于弱欧米茄范畴的理论，表明严格欧米茄范畴的操作数的普遍和规范的一致替换正是Leinster的弱欧米茄范畴的操作数。
2011-10-14 math.AT math.CT
Weak model categories in classical and constructive mathematics
我们引入了“弱模型范畴”的概念，它是Quillen模型范畴概念的弱化，但仍然足以定义同伦范畴、Quillen算子、Quillen等价和大多数通常的范畴同伦理论的构造。左半模型范畴和右半模型范畴都是弱模型范畴，弱模型范畴的对立面也是弱模型范畴。弱模型范畴的主要优点是它们比Quillen模型范畴更容易构造。特别地，我们给出了两个弱因子分解系统构成弱模型范畴的简单判据。该理论是在一个非常弱的建设性框架，我们用它来生产，完全建设性（甚至预测），弱版本的各种标准模型类别，包括坎-奎伦模型结构，变体的Joyal模型结构的标记单纯集，和Verity模型结构的弱复杂集。我们还构造了所有这些的半单纯形式。
2020-05-09 math.AT math.CT
Weak n-categories: comparing opetopic foundations
我们定义了整齐对称多范畴范畴。对每一个整齐对称多范畴Q构造了一个Carnummonad（E_Q，T_Q），并将这个赋值推广到函子上.我们展示了对称multicategories片建设之间的关系，和“自由操作”单子建设合适的单子。我们用这个给一个明确的描述Baez-Dolan和Leinster opetopes之间的关系。
2003-04-21 math.CT
Module categories, weak Hopf algebras and modular invariants
我们发展了幺半范畴上的模范畴的抽象无意义（这是环上模的直接分类）。作为应用，我们证明了任何具有n个单对象的半单幺半范畴等价于弱霍普夫代数的表示范畴（T. Hayashi），并在正整数水平上对$\hat{sl}(2)$的融合范畴上的模块范畴进行分类，在此我们再次遇到ADE分类模式。
2001-11-12 math.CT math.QA
Graphical Methods for Tannaka Duality of Weak Bialgebras and Weak Hopf Algebras in Arbitrary Braided Monoidal Categories
Tannaka对偶描述了给定范畴中代数对象和它们的表示之间的关系;一个重要的例子是霍普夫代数和它们的表示范畴;这些都有强的monoidal遗忘“纤维函子”到向量空间范畴。我们同时从两个方面推广了Tannaka对偶理论：第一，用弱霍普夫代数代替霍普夫代数，用可分Frobenius monoidal函子代替强monoidal函子;第二，用任意辫状幺半范畴代替向量空间范畴.为了实现这一目标，我们引入了一个新的图形符号之间的函子幺半范畴，使用字符串图与彩色区域。这种符号不仅扩展了我们对复杂计算给出简单证明的能力，而且使弗罗贝纽斯么半群或可分弗罗贝纽斯么半群函子与定义某些代数结构的公理拓扑之间的某些联系变得清晰。最后，将Tannaka推广到任意基范畴，我们简要地讨论了该构造的函性，因为该基是变化的。
2011-10-25 math.CT
Weak identity arrows in higher categories
弱高阶范畴有十几种定义，它们都放松了箭头合成的概念。这里提出了一种新的方法，而不是身份箭头的概念被削弱-这些被暂时称为公平类别。这种方法在本质上是单纯的，但通常的单纯范畴$Δ$被“有色序数”的某种“胖”δ所取代，其中的退化映射只达到同伦。第一部分的论述是针对广大的数学读者，并载有简要介绍简单的观点，高阶范畴一般。它解释了如何定义公平的$n$范畴几乎是强加给我们的三个标准的想法。第二部分陈述了关于公平范畴的一些基本结果，并给出了例子。证明了公平2-范畴范畴等价于具有严格合成律的双范畴范畴。公平3类对应于具有严格组成法则的三类。该理论的主要动机是辛普森的弱单位猜想，根据该猜想，具有严格复合律和弱单位的$n$ -广群胚应该模拟所有同伦$n$ -类型。一个版本的证明，这一猜想在3维宣布，获得联合工作与A。乔亚尔技术细节和对应用程序的更全面处理将在其他地方出现。
2005-11-28 math.CT
Weak bimonoids in duoidal categories
在对偶范畴中引入了弱双紧性。它们提供了对偶范畴中的双对偶和辫幺半范畴范畴中的弱双对偶的共同推广。假设幂等态射在基范畴分裂，他们诱导弱bimonads（在四个对称的方式）。因此，它们有四个可分离的弗罗贝纽斯基（共）幺半群，每个基本的幺半范畴范畴中有两个。通过将诱导单子弱提升到诱导单子的Eilenberg-Moore范畴，定义了弱双紧环上的Hopf模.对对偶范畴作适当的假设，证明了Hopf模的基本定理：一个基幺半群上的模范畴等价于Hopf模范畴当且仅当一个伽罗瓦型余单态射是同构.
2013-06-20 math.CT math.QA
Weakly group-theoretical and solvable fusion categories
本文引入了两类新的融合范畴，它们是从有限群中通过一定的过程得到的--弱群论范畴和可解范畴。这些融合范畴是森田等价于任意可解有限群的迭代扩展（在融合范畴的世界中）。弱群理论范畴具有整数维，所有已知的整数维融合范畴都是弱群理论范畴。我们的主要结果是：弱群论范畴C具有强Frobenius性质（即，不可分解的C-模范畴中的任何简单对象的维数都能整除C的维数），并且维数至多有两个素除子的任何融合范畴都是可解的（一个与有限群的伯恩赛德定理类似的范畴）。这对融合范畴和给定维数的半单霍普夫代数的分类有很强的应用。特别地，我们证明了任何整数维数小于84的融合范畴都是弱群论的（即来自有限群），并给出了维数为pqr和pq ^2的半单霍普夫代数的完全分类，其中p，q，r是不同的素数。
2009-07-22 math.CT math.QA
The hearts of weight structures are the weakly idempotent complete categories
本文证明了作为权结构的心脏出现的加法范畴恰是弱幂等完备范畴，即所有分裂单态给出直和分解的范畴。给出了弱幂等完备性的几个等价条件（其中有些是全新的），并讨论了可加范畴的弱幂等完备性。
2020-05-23 math.CT math.KT math.RT
Higher weak (co)limits, adjoint functor theorems, and higher Brown representability
证明了弱（余）完备$n$ -范畴的一般伴随函子定理。这类$n$ -范畴包含了（共）完备$\infty$ -范畴的同伦$n$-范畴，所以这些$n$ -范畴一般不允许所有的小（共）极限.我们还引入了（同伦）$n$ -范畴的Brown可表示性，并证明了紧生成的$n$ -范畴的局部化的Brown可表示性定理.这类$n$ -范畴包括可表示$\infty$-范畴的同伦$n$-范畴（如果$n \geq 2$）和可表示稳定$\infty$ -范畴的同伦$n$-范畴（对于任何$n \geq 1$）.
2022-08-02 math.AT math.CT
Simplicial and categorical comma categories
我们考虑四个类别：O上的小范畴的（逗号）范畴，O上的单纯集的（逗号）范畴，O上的神经上的单纯集的（逗号）范畴，O上的小范畴O上的小范畴的图范畴。弗里奇和Golasinski声称，这四个类别有等价的同伦类别，但事实上，他们的证明包含一个错误和同伦类别是不等价的弱等价，他们使用的逗号类别。本文证明了正确的弱等价是Latch定义的“弱纤维同伦等价”。我们还构造了NO上单纯集范畴的一个模型范畴结构，其中弱等价是弱纤维同伦等价。
2000-11-29 math.AT math.CT
(Weak) incidence bialgebras of monoidal categories
研究了Joni和Rota意义上的范畴的关联余代数，特别是一类上的monoidal乘积将其转化为（弱）双代数的情况。重叠的组合霍普夫代数和霍普夫箭图的理论进行了讨论，并考虑的例子包括树，斜形状，米尔纳的双图和交叉模块。
2019-04-15 math.CT math.QA
Combinatorial and accessible weak model categories
在以前的工作中，我们已经介绍了一个弱化的Quillen模型类别称为弱模型类别。它们仍然允许所有通常的模型范畴论的构造，但更容易构造，并且在某种意义上表现得更好。在本文中，我们继续发展他们的一般理论，通过引入组合和可访问的弱模型类别。我们给出了一个简单的充要条件，在此条件下，弱模型范畴可以扩展为左半模型范畴和右半模型范畴。作为应用，我们恢复了Cisinski-Olschok理论，并将其推广到弱模型和半模型范畴。我们还给出了组合可达弱模型结构的左、右Bousfield局部化的一般存在性定理，并结合上述结果给出了组合可达左、右半模型范畴的左、右Bousfield局部化的存在性结果，推广了Barwick的结果.令人惊讶的是，我们发现，任何左或右Bousfield本地化的一个可访问的或组合的Quillen模型类别总是存在的，没有适当的假设，并同时是一个左和右半模型类别，而不一定是一个Quillen模型类别本身。
2020-11-24 math.AT math.CT
On combinatorial model categories
组合模型范畴是由J. H. Smith作为局部可表示和共纤生成的模型类别。他还没有发表他的结果，但证明了其中一些提出的T。Beke或D.达格我们正在努力证明弱等价的组合模型类别形成一个可访问的类别。我们也给出了组合模型范畴中弱等价和上纤维化的一些新结果。
2007-08-16 math.CT
Algebraic weak factorisation systems II: categories of weak maps
本文研究了Grandis-Tholen意义下的代数弱因子分解系统（AWFS）的弱映射范畴。对于一个有始对象的范畴上的任意AWFS，协变量替换形成一个comonad，并且与AWFS相关联的（左）弱映射的范畴根据定义是这个comonad的Kleisli范畴。我们展示类别的弱映射作为一种“同伦类”，自由邻接的一节，为每一个“非循环纤维化”（=右映射）的AWFS;并使用这种特性，我们给一个替代的描述类别的弱映射的跨度与左腿的非循环纤维化。此外，我们表明，2-函子发送每个AWFS在一个合适的类别，其coordinant更换comonad有一个完全忠实的右伴随：所以展示理论的comonads，和对偶的单子，纳入理论的AWFS。我们还介绍了各种应用的一般理论：一般草图木下，电力竹山，二维单子理论的布莱克威尔凯利电力，并理论的DG类。
2015-09-14 math.AT math.CT
Algebraic Definition of weak ($\infty$; n)-Categories
本文在$\infty$ -图的范畴$\infty$ - $\mathbb{G}\text{r}$上定义了单子序列$\mathbb{T}^(\infty;n)$ $(n\in\mathbb{N})$.我们猜想定义在纯代数环境中的$\mathbb{T}^(0;n)$的代数是弱$\infty$ -广群胚的模型。对于所有的$n>1$，我们猜想定义在纯代数环境中的$\mathbb{T}^(\infty;n)$的代数是弱$(\infty; n)$ -范畴的模型.
2012-08-03 math.CT math.KT
From weak cofibration categories to model categories
在[BaSc 2]中，作者引入了一个比模型范畴弱得多的同伦结构，称为“弱上纤维化范畴”。我们进一步证明了一个小的弱上纤维化范畴在它的ind-范畴上自然地导出一个模型范畴结构，只要ind-范畴满足某个三取二的性质。本文的目的是作为上述论文的一个补充，证明了如果弱上纤维化范畴中存在某种性质或结构，那么同一性质或结构在ind-范畴上的诱导模型结构中也成立。也就是说，我们考虑了左真的性质和幺半范畴的结构以及在幺半范畴上张量的范畴（以一种与弱上纤维化结构相容的方式）。为了将来的参考，我们考虑更一般的情况，我们只有一个“几乎模型结构”的ind范畴。
2016-10-25 math.AT math.CT
Constructing model categories with prescribed fibrant objects
本文给出了J.H.史密斯我们用它把一个模型范畴结构的范畴上的小范畴丰富的一个合适的monoidal单纯模型范畴。证明使用了模型结构的一部分，由于小单纯范畴J.伯格纳。我们给出了Smith结果的弱形式在一个合适的monoidal模型范畴中的左Bousfield局部化的应用。
2014-04-09 math.CT
Weakly invertible cells in a weak $ω$-category
本文采用余归纳定义研究Batanin-Leinster弱$ω$-范畴中的弱可逆胞腔，证明其在球状粘贴下封闭，并将严格$ω$-范畴中的基本性质推广至弱$ω$-范畴，进而证明每个弱$ω$-范畴都存在最大的弱$ω$-子群胚。
2024-11-20 math.CT
Weak vertical composition
我们研究半严格的tricategories，其中唯一的弱点是在垂直组成。我们构建这些范畴丰富的范畴的bicategories与严格的函子，相对于carbohydrate monoidal结构。因为这些是三范畴的一种形式，所以双退化范畴是辫状幺半范畴。我们证明了这种形式的半严格三范畴是弱的，足以产生所有的编织幺半范畴范畴。也就是说，给定任何一个辫子幺半范畴$B$，存在一个双退化的"垂直弱“半严格三元范畴，其相关的辫子幺半范畴是等价于$B$的辫子幺半群。
2022-12-22 math.CT
Subword representations and weak hypercube dimension for acyclic categories
Universidade de Santiago de Compostela（圣地亚哥德孔波斯特拉大学）
研究有限无环范畴，通过忠实嵌入到子词范畴引入弱超立方体表示类似物，刻画允许该表示的范畴，给出构造性证明及明确单词表示，还引入查询博弈得到弱单词维数上界。
2026-07-10 cs.DM math.CO math.CT
A Type-Theoretical Definition of Weak ω-Categories
我们引入了一个依赖的类型论，它的模型是弱ω-范畴，推广了Brunerie的ω-群胚的定义.我们的类型论是基于由Maltsiniotis给出的ω-范畴的定义，他自己受到Grothendieck定义ω-群胚的方法的启发。在这种设置中，ω-范畴被定义为在某个范畴上保持球上极限的预层，称为凝聚子。coherator编码了所有需要出现在ω-范畴中的操作：粘贴模式的组合以及它们的coherator。我们的主要贡献是提供了一个典型的类型理论表征粘贴计划的上下文，可以从推理规则。最后，我们提出了一个相应的证明系统的实现。
2017-06-09 cs.LO math.CT
Representable diagrammatic sets as a model of weak higher categories
发展Kapranov和Voevodsky的想法，我们介绍了一个模型的基础上有向复合体，组合表示粘贴图的弱欧米茄范畴。我们建议这是一个方便的框架，更高的维度重写。我们定义的图形集上的一类有向复合体提出粘贴图与球形边界的预层。图集有结构面和退化运算，但没有结构复合。我们定义了一个概念的等价细胞在一个图解集，并说，一个图解集是可表示的，如果所有粘贴图与球形边界连接到单个细胞-他们的弱复合材料-由一个高维等价细胞。本文发展了可表示图集的基本理论，证明了图集的等价单元满足期望的性质。我们研究了严格ω-范畴的神经作为RDSs，证明了2-截断RDSs等价于双范畴。最后，我们连接的组合学的图解集和单纯集，并证明了一个版本的同伦假设的“groupoidal”RDS：存在一个几何实现函子的图解集，诱导同构的组合和经典的同伦群，它有一个同伦右逆。
2019-09-17 math.CT
Monad interleaving: a construction of the operad for Leinster's weak $ω$-categories
我们展示了如何“交错”单子的操作和单子的收缩类\coll的集合，构建单子的操作与收缩的Leinster。我们首先分解的附加运算和附加的收缩成一个链的adjunctions每个行为的基础球集的一个维度上的时间。然后，我们展示了相互稳定的条件，使我们能够交替的维度由维自由函子。因此，我们给出了遗忘函子$\owc \lra \coll$的左伴随的一个明确的结构，从操作范畴与收缩的集合的范畴。通过将此应用于初始（空）集合，我们得到明确的初始操作与压缩，其代数的定义是弱$ω$ -范畴的Leinster。
2008-10-04 math.CT
A type theory for invertibility in weak $ω$-categories
Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF（巴黎萨克雷大学、法国国家科学研究中心、巴黎萨克雷高等师范学院、拉格朗日数学实验室）；University of Cambridge（剑桥大学）
本文提出了一种用于弱 ω-范畴中可逆性研究的类型论扩展ICaTT，并通过形式化可逆细胞的性质，构建了基于该理论的语义模型。
2026-02-18 cs.LO math.CT
A Quillen model structure on the category of Kontsevich-Soibelman weakly unital dg categories
本文研究Kontsevich和Soibelman定义的弱单位dg范畴[KS，Sect.4]。本文在域$\Bbbk$上的弱单位dg范畴范畴$\mathrm{Cat}_{\mathrm{dgwu}}(\Bbbk)$上构造了一个共纤生成的Quillen模型结构.我们的模型结构可以被认为是在$\Bbbk$上的（严格单位的）小dg范畴的范畴$\mathrm{Cat}_{\mathrm{dg}}(\Bbbk)$上的模型结构的扩展，由于Tabuada [Tab]。更精确地说，我们证明了$\mathrm{Cat}_{\mathrm{dg}}(\Bbbk)$到$\mathrm{Cat}_{\mathrm{dgwu}}(\Bbbk)$的嵌入是Quillen函子对的右伴随。我们证明，这奎伦对是，反过来，奎伦等价。在证明过程中，我们研究了一个非对称的dg运算$\mathcal{O}$，管理弱单位dg范畴，这是编码在Kontsevich-Soibelman定义。我们证明了这个dg运算与有单位的结合代数的运算$\mathrm{Assoc}_+$是拟同构的。
2019-07-18 math.CT math.KT
Weak n-categories: opetopic and multitopic foundations
我们概括的概念介绍了贝兹和多兰定义opetopes从对称操作类，而不是一组，对象。我们描述的1级广义multicategories类，Hermida，Makkai和电源引入的概念的特殊情况下，并展示了一个完整的嵌入这一类的对称运算类的对象。作为一个类比的贝兹-多兰切片建设，我们展示了一定的multicategory的功能替换作为一个切片建设的多主题设置，并使用它来构建多主题。我们给出了一个明确的描述opetopes和multitopes之间的关系。
2003-04-21 math.CT
Involutive Weak Globular $ω$-categories
本文通过Leinster方法，将对合弱球状$\omega$-范畴定义为初始收缩球状操作子的代数，并探讨了更具限制性的操作子收缩代数概念。
2023-03-29 math.CT math.OA
