2-fold complete Segal operads
我们定义了笛卡尔2-纤维化的概念,并证明了一个弱的类似拉直。利用Barwick的算子范畴概念和Cartesian 2-纤维化的概念,我们将$\infty$ -算子的概念推广到$(\infty,2)$ -范畴的上下文中.这些$(\infty,2)$ -操作用于定义和研究$\infty$ -范畴上下文中的2-环。
2016-10-14 math.CT
The Grothendieck Construction for $\infty$-Categories Fibered over Categorical Patterns
本文通过相对化Grothendieck构造,为纤维化于范畴模式中的∞-范畴族建立纤维化处理框架,并构造万有共笛卡尔纤维化的类比,给出极限与余极限的计算方法。
2024-04-01 math.AT math.CT
Concrete fibrations
就我们所知,纤维化的具体性概念是不存在的。我们引入了这样一个概念,并讨论了它的一些基本结果。
2011-05-24 math.CT
Topological functors as familiarly-fibrations
本文发展了基范畴上的拓扑范畴理论,即拓扑函子理论。我们的概念拓扑函子是类似的(但不相同)现有的概念在文献中(见Borceux“手册的范畴代数2,7.3”),它的目的是在相同的例子。在我们的意义上,一个(前)拓扑函子是一个函子,创建carbohydrate家庭。一个拓扑函子是,特别是,纤维化,我们的重点是把这个事实。
2006-11-22 math.CT
A Fibrational Theory of First Order Differential Structures
本文提出基于纤维化理论的范畴论框架,用纤维化截面统一刻画多种微分范畴的一阶片段,阐明其异同并简化已有构造。
2024-09-09 cs.LO math.CT
Virtual double categories of split two-sided 2-fibrations
Middle East Technical University Northern Cyprus Campus(中东理工大学北塞浦路斯校区)
本文提出通过虚拟双范畴研究分裂双侧2-纤维,并展示其与2-函子之间的双侧Grothendieck对应。
2026-10-15 math.CT
Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation
该研究从增强型2-范畴视角解释二维范畴论中结构的内在严格性,引入增强型2-范畴极限草图以弥补现有理论不足,并建立了这类结构的内化对称性。
2024-12-10 math.CT
Operadic Fibrations and Unary Operadic 2-categories
Institute of Mathematics, University of Technology(技术大学数学研究所)
本文提出 unary 操作素 2-范畴作为操作素 Grothendieck 构造的框架,并描述了其与机器学习中 'Para' 构造的关联。
2026-07-22 math.AT math.CT
Local fibrations and morphisms of relative toposes
本文提出局部纤维化概念以推广经典纤维化理论,并据此刻画相对位点间诱导相对拓扑斯态射的函子,同时证明迪亚科内斯库定理的弱版本及相关连通性态射的纤维化特征。
2025-07-18 math.CT
The dual fibration in elementary terms
给出了纤维化的对偶纤维化的一个初等构造。它不使用非初等概念的(伪)函子到范畴的范畴。
2015-01-08 math.CT
Gödel coding on fibrations and geminal categories
Graduate School of Mathematical Sciences, the University of Tokyo(东京大学大学院数学系研究科)
通过引入纤维化上的编码结构作为哥德尔编码的范畴抽象,简化了双生范畴的Löb定理证明并提出了Gödel-Löb公理的范畴对应。
2026-05-31 cs.LO math.CT math.LO
Homotopies in Grothendieck fibrations
本文在一类Grothendieck纤维化的基范畴上定义了一个自然的2-范畴结构。给定任何模型范畴$\mathbf{C}$,我们将这种构造应用于纤维化,其纤维是切片范畴$\mathbf{C}/A$的同伦范畴,并且我们表明,在$\mathbf{C}=\mathbf{Top}$的情况下,我们的构造应用于这种纤维化恢复了通常的2-范畴的空间。
2022-02-23 math.AT math.CT
Weak and Strong Fibrations of Functors
Departamento de Matemáticas, Universidade de Santiago de Compostela(圣地亚哥-德孔波斯特拉大学数学系);Universidade de Vigo(维戈大学);CITMAga(计算、建模与技术应用研究中心)
本文提出了一种针对小范畴的同调框架,扩展了代数拓扑的经典不变量到范畴设置。通过构造真正的路径范畴,定义了函子的强和弱纤维化,并引入了纤维化替代和扩展了如Svarc genus和sectional category等同调不变量到小范畴。最后,将该框架应用于小范畴中的运动规划,提供了Farber拓扑复杂度的范畴类比,并消除了现有方法中常见的有限性约束。
2026-05-18 math.AT math.CO math.CT
Fibrations in Oriented Category Theory
从定向范畴论角度研究高阶范畴纤维化,给出其等价特征,表明纤维化范畴构成定向范畴,研究其与定向拉回相互作用并构建相关纤维化版本及格罗滕迪克构造。
2026-07-22 math.AT math.CT
Categorical Green functors arising from group actions on categories
本文引入范畴Mackey函子的概念。这个范畴概念允许我们通过传递到奎伦的$K$ -理论的相应的阿贝尔范畴,以获得新的麦基函子。在幺半范畴上的Monoidal自等价作用的情形下,在Grothendieck环水平上得到的Mackey函子实际上具有Green函子结构.
2014-07-15 math.CT
Fibrations of simplicial sets
Kan纤维化的概念有无穷多个变体,加上适当的上纤维化选择和单纯集的弱等价的通常概念,满足同伦模型范畴的奎伦公理。构成这些纤维化基础的组合学是纯粹有限的,它本身以及它与同伦类型的相互作用似乎都很有趣。为了证明这些纤维化的概念确实是不同的,我们需要理解Kan的Ex函子的迭代如何作用于图和小范畴的神经。
2008-10-28 math.AT math.CT
Examples and cofibrant generation of effective Kan fibrations
该研究针对单纯同伦理论中的有效Kan纤维化,证明单纯Malcev代数是有效Kan复形且其为代数弱因子分解系统右类,还提出两种强化形式并验证结果适用。
2024-09-17 math.AT math.CT
Discrete Double Fibrations
众所周知,小范畴上的预层通过一个元素构造范畴对应于同一小范畴上的普通离散纤维化。R的工作。Paré提出,在一个小的双范畴上的预层是在具有跨距的集合的双集范畴中取值的某些松弛函子。本文隔离的离散纤维化的概念,对应于这个预层的概念,并表明,范畴的元素的建设引入Paré导致一个等价的虚拟双范畴。
2021-01-17 math.CT
Discrete 2-Fibrations
该研究提出离散2-纤维化的定义,证明其通过2-等价对应特定范畴值2-函子,最终目标是证其在范畴2-范畴切片上具有2-单子性,是普通离散纤维化的二维类比拓展。
2020-01-30 math.CT
Fibrational approach to Grandis exactness for 2-categories
本文通过纤维化方法刻画2-范畴上的(1,1)-适当因子分解系统,提出新的二维正合性概念,并与点群胚充实范畴中的类似概念比较。
2025-10-10 math.CT
Categorical structures enriched in a quantaloid: regular presheaves, regular semicategories
我们研究在quantaloid中丰富的半范畴上的预层:这产生了正则预层的概念。一个半范畴是正则的,当它的可表示预层是正则的,并且它的正则预层构成了它所有预层范畴的本质(共)局部化。正则半分配器的概念允许建立正则半范畴的森田等价。连续序和Ω集提供了例子。
2004-09-24 math.CT
An $(\infty,n)$-categorical straightening-unstraightening construction
本文构造 $(\infty,n)$-范畴版拉直–反拉直等价,并通过双重右纤维化与同伦凝聚范畴化上的函子两类模型结构间的 Quillen 等价加以实现。
2023-07-14 math.AT math.CT
Formulating Categorical Concepts using Classes
我们研究使用类来制定几个范畴概念。这导致了两个建议:一个显式的结构与子对象的工作,和一个层次结构的$k$类。我们将后者应用于普通和高阶范畴。
2018-07-26 math.CT
Dialectica Principles via Gödel Doctrines
本文以 Gödel 纤维化与 Gödel doctrine 范畴化 Dialectica 构造,证明其与 Hofstra 框架等价,并验证蕴涵解释所需的 Markov、前提独立性及选择原理,还刻画了 tripos-to-topos 所得范畴。
2022-05-14 math.CT math.LO
Model categorical Koszul-Tate resolution for algebras over differential operators
导出的D-几何被认为是一种方便的语言,为坐标自由调查的非线性偏微分方程的对称性。在导出D-几何的点函子方法中遇到的第一个问题之一,是在适当的底层簇的微分算子层D上的微分非负分次拟凝聚交换代数范畴C上的模型结构问题。在[BPP 15 a]中,我们通过定义C上的弱等价和纤维化,描述了C上的一个上纤维生成的模型结构.在本文章中-第二个一系列的工作BV-形式主义-我们的特点类的cofibrations,明确函cofibration-fibration分解,以及明确的函cofibrant和cofibrant更换函子。然后,我们使用后者建立一个模型的D-代数上壳函数代数的范畴Koszul-Tate归结。
2017-02-06 math-ph math.AT math.CT
Fibrations and homotopy colimits of simplicial sheaves
证明了Grothendieck拓扑上单纯集层的同伦拉回分布在同伦上极限上,推广了Puppe关于拓扑空间的一个结果.此外,我们表明,逆像函子类别之间的单纯层保持同伦拉回平方。我们使用的方法介绍了一个尖锐的地图,这是类似于空间的准纤维化的概念的概念,似乎是独立的利益。
1998-11-09 math.AT math.CT
Categorical notions of layered tropical algebra and geometry
本文补充了[17],表明分层理论在范畴上与热带数学中使用的有序幺半群理论(例如极大代数)相同。一个分层的理论是在范畴的背景下发展起来的,连同一个“热带化函子”,它使我们能够从通常的代数几何传递到热带世界。我们认为热带品种从这个范畴的观点,重点是多项式函数和他们的根。
2012-07-15 math.CT math.RA
On enriched terms and 2-categorical universal algebra
本文引入递归生成的富化项与项可解释性概念,将其应用于2-范畴情形,提出2维项与2维等式理论,给出自由结构显式描述并证明2维Birkhoff簇定理。
2025-07-14 math.CT
Approximate categorical structures
我们考虑度量化范畴的概念,然后由一个三个变量的函数定义的近似范畴结构,推广了$2$ -度量空间的概念。本文证明了一个嵌入定理,给出了一个近似范畴结构由包含到度量化范畴的充分条件。
2015-11-04 math.CT math.MG
Homotopically discrete higher categorical structures
我们引入同伦离散n重范畴的概念作为一个没有非平凡圈的广群的n重推广。我们给出两个等价的描述这种结构:在一个Segal型模型和迭代的内部等价关系。我们还表明,同伦离散的n重范畴形成一个0型的n重范畴模型。
2016-05-17 math.CT
A categorical review of complete regularity
我们使用超滤收敛公理的拓扑空间,详细地激励温和的范畴介绍,首先巴尔的集为基础的关系T-代数,然后Burroni的T-前序内部的一个类别C,这里称为T-空间在C中,为单子T在C上,取代超滤单子集。在这些设置中,人们不仅发现了最初由Manes提出的紧性和Hausdorff分离的概念,而且还发现了完全正则性的概念。基于Burroni的一个有点隐蔽的结果,本文的主要定理建立了完全正则T-空间范畴及其自反紧Hausdorff T-空间子范畴的外纤维化刻画,并给出了C和T的适当假设.
2022-02-21 math.CT math.GN
Strict 2-toposes
一个2-范畴概括的基本拓扑提供和它产生的米田结构的一些属性进行了探讨。相关的球形方法高阶范畴理论的例子进行了讨论。本文还包含了一些关于非完全2范畴内部纤维化理论的简要材料,以及关于Yoneda结构的必要背景的独立发展。
2006-06-16 math.CT
Effective Kan fibrations in simplicial sets
我们介绍的概念,一个有效的Kan纤维化,一个新的数学结构,可用于研究单纯同伦理论。我们的主要动机是使单纯同伦理论适用于同伦类型理论。有效Kan纤维化是简单集的映射,配备了满足某些非平凡性质的选择电梯的结构化集合。这与Kan纤维化的普通的、非结构化的概念形成对比。我们表明,Kan纤维化的基本性质可以扩展到明确的建设有效的Kan纤维化。特别是,我们给出了一个建设性的(明确的)证明,有效的Kan纤维化是稳定的推动下,或crossred指数。这对于普通的Kan纤维是不可能的。我们进一步表明,有效的Kan纤维化是本地的,或完全由他们的纤维以上的representables。我们还给出了一个(无效)证明,即能具有有效Kan纤维化结构的映射,恰是普通Kan纤维化。因此,隐含地,这两个概念仍然描述相同的同伦理论。通过证明有效的Kan纤维化结合了所有这些性质,我们解决了同伦型理论中的一个公开问题。通过这种方式,我们的工作提供了第一步,在给予建设性的Voevodsky模型的单叶型理论在单纯集。
2022-04-30 cs.LO math.AT math.CT
Free constructions for comprehension categories
University of Genoa(热那亚大学)
该研究探究理解范畴与劳沃尔-埃尔哈德理解范畴的关系,完成从纤维化构造自由理解范畴、从雅各布斯理解范畴构造自由劳沃尔-埃尔哈德理解范畴的工作。
2026-07-30 cs.LO math.CT
Approximate Fibrations in Higher Topos Theory
本文在更高拓扑论框架中研究近似纤维化,通过形状理论和拓扑论方法推广并特征化细胞状映射。
2026-09-28 math.AT math.CT math.GT
Hofmann-Streicher lifting of fibred categories
Computer Laboratory, University of Cambridge(剑桥大学计算机实验室)
本文基于Awodey的分析,定义了Hofmann-Streicher提升的相对版本,并构建了新的2-纤维化,其中opcartesian和cartesian提升源于伪伴随。
2026-06-16 cs.LO math.CT
On Enriched Fibrations
我们引入了一个丰富的纤维化的概念,即一个纤维化的总范畴和基本范畴是丰富的那些在monoidal纤维化以适当的方式。此外,我们提供了一种方法来获得这样的结构,从行动的幺半范畴参数化的伴随。激励的目标是捕捉某些例子的情况下,如纤维化的模块在代数丰富的opfibration的余代数。
2018-07-06 math.CT math.RA
On Categorical Theory-Building: Beyond the Formal
我提出了一个由范畴论激发的理论概念。
2007-07-25 math.CT math.HO
Definable and Non-definable Notions of Structure
可定义性是Grothendieck纤维化理论中的一个关键概念,它表征了对象的外部属性何时可以从纤维化基础的内部逻辑中访问。在本文中,我们考虑一个概括的可定义性从对象的属性到对象的结构,介绍了舒尔曼的名称下的本地表示。我们首先发展一些一般的理论,并说明如何恢复现有的概念,由于Bénabou和Johnstone的特殊情况。我们给出了几个例子的可定义和不可定义的概念o结构,侧重于代数弱因子分解系统,这可以很自然地被视为概念的结构上的codomain纤维化。关于可定义性,我们给出了一个充分的标准cofibrantly产生的awfs的是可定义的,概括了建设的宇宙三次集,但也包括一些非常不同的期待的例子,不满足tininess在内部意义上,指数函子有一个右伴随。我们的非可定义性的例子包括识别的逻辑原则举行的区间对象在单纯集和Bezem-Coquand-Huber三次集,足以表明一定的定义Kan纤维化是不可定义的。
2022-06-27 cs.LO math.CT math.LO
A categorical analogue of the monoid semiring construction
本文引入并研究了一种常见幺半群半环结构的范畴模拟。通过引入一个公理化的总和,统一的概念,从代数程序的语义与各种概念的总和理论的分析,我们证明了幺半群半环建设推广的情况下,幺半群和半环的类别。这种构造有许多有趣和自然的范畴属性,以及自然的计算解释。
2013-05-31 math.CT math.RA
Twisted-Product Categorical Bundles
范畴丛为涉及多个规范群的规范理论提供了一个自然的框架。与传统丛的情况不同,范畴丛有不同的平凡性概念,因此也有局部平凡性概念。我们研究范畴主丛的积丛在范畴意义上,发展的函截面之间的关系,这样的丛和平凡化。我们使用适当的家庭的局部定义的功能的基础范畴的对象空间上的范畴群的值构造函子上循环。由于范畴积丛过于严格,无法为局部平凡性提供广泛适用的模型,因此我们引入了扭曲积范畴丛的概念。我们将这些束与包含更多信息(特别是并行传输数据)的装饰分类束联系起来。
2015-08-01 math.CT math.DG
Twisted actions of categorical groups
利用范畴的半直积概念,发展了范畴群的扭作用理论。我们通过大量的例子来证明这些概念的力量。转向表示,这是行动,尊重向量空间结构,我们建立了一个类似的舒尔引理在这种情况下。保持新的术语,以最小的,我们集中在探索引入的基本新概念的例子。
2014-08-30 math-ph math.CT math.MP
Lifting Problems in Grothendieck Fibrations
同伦代数中许多有趣的映射类都可以被刻画为对某些映射集具有右提升性质的映射(这类映射有时被称为上纤生成的)。在加纳提出的一个更复杂的概念中(称为代数上的共纤生成),映射集被一个小范畴上的图所取代。我们给出了一个更一般的定义,其中的一组或图的地图被替换为一个垂直的地图在Grothendieck纤维化。除了一个有趣的新的观点,现有的例子上面,我们得到新的概念,如可计算提升问题的预层组件,和内部提升问题的拓扑结构。我们表明,在合理的条件下,可以定义一个概念的普遍提升问题,并进行第一步加纳的小对象参数。我们在一些例子中给出了一般结构的明确描述。
2018-02-07 math.AT math.CT math.LO
Monoidal envelopes and Grothendieck construction for dendroidal Segal objects
本文在Segal树型空间模型中构造了$\infty$ -操作的么半群包络,并利用它定义了此类空间的余carnanofibrations.我们实现这一点,通过查看树状范畴作为一个“加建设”的范畴指出有限集,并在更一般的语言的代数模式西格尔条件的工作。最后,我们重新表达Lurie的定义carnival结构表现出的范畴纤维化来自信封,并推导出一个矫直/unstraightening等价的树状空间。
2023-01-25 math.AT math.CT
Fibrations of $\infty$-categories
我们构造了一个由$\infty$ -范畴和其中的双模组成的带标记的$\infty$ -范畴${\sf Corr}$.我们证明了${\sf Corr}$分类指数纤维化。可指数纤维化的这种可表示性扩展了Lurie建立的余笛卡尔纤维化和笛卡尔纤维化的可表示性,因为它们分别被分类为$\infty$ -范畴的$\infty$ -范畴及其相反范畴。我们引入了带标记的$\infty$ -${\sf Corr}$的子范畴${\sf LCorr}$和${\sf RCorr}$,它们的态射分别是\emph{left final}和\emph{right initial}。我们确定这些标记的$\infty$ -子类别分类的纤维化的概念,并表明这些$\infty$ -类别进行普遍的左/右纤维化。
2020-06-23 math.AT math.CT
Categorical models of subtyping
本文提出基于一般纤维化的子类型范畴模型,将子类型视为缩写机制,提供规则、一致性条件与显式模型,并与强制子类型对比,为类型构造子与子类型关系提供工具。
2023-12-22 cs.LO math.CT
Categorical semantics of metric spaces and continuous logic
使用范畴的度量空间作为模板,我们开发了一个度量模拟的范畴语义的经典/直觉主义逻辑,并表明,自然概念的谓词在这个“连续语义”是等价的一个先验的单独概念的谓词在连续逻辑,这是独立的模型理论家研究,并发现各种应用。我们通过把度量空间范畴中的实区间[0,1]表示为一个“连续子对象分类器”来证明这一等价性,它不仅给出了两个谓词概念之间的对应关系,而且给出了连续语义中的自然量化概念与连续逻辑中已有的量化概念之间的对应关系。一路上,我们制定了它的意思是一个给定的范畴表现得像度量空间的范畴,然后表明,任何这样的类别支持上述连续语义。作为一个应用,我们表明,范畴的预层的度量空间的例子,事实上,甚至拥有连续的子对象分类。
2019-01-25 math.CT math.LO
Moduli space of fibrations in the category of simplicial presheaves
我们在单纯预层的模型范畴中描述了扩张的模空间。这篇文章可以看作是单纯集情形下的Blomnes-Chacholski结果的推广。我们对扩张的模空间的描述在相同的设置中处理等变和非等变的情况。作为一个新的结果,当M是单幺半群时,我们刻画了固定空间X上M-丛的模空间。此外,M-丛的模空间也被M的同伦可逆元所生成的单纯子幺半群的分类空间所分类。我们给出了一般的解释广义上同调理论(连接)的分类原则丛。当G是单(拓扑)幺半群时,我们还构造了分类空间BG和EG的范畴模型。
2012-11-20 math.AT math.CT math.GT
Wonderful resolutions and categorical crepant resolutions of singularities
设$X$是一个具有Gorenstein奇点的代数簇.我们定义了一个奇妙的奇点的分解的奇性$X$的半单线性代数群的奇妙紧化理论类比的概念。证明了如果$X$具有有理奇点和奇异性的奇妙分解,则$X$允许奇异性的范畴可裂奇点的分解.作为直接推论,我们得到了由一般方阵/对称阵/反对称阵的子阵定义的所有行列式簇都允许奇异点的范畴临界奇点的分解.我们还讨论了极小的概念,一个明确的奇点的分解,我们探讨了极小和credibility等决议之间的联系。
2013-09-03 math.AG math.CT
Algebras over infinity-operads
我们开发了一个概念的代数上的无穷运算值的无穷范畴,这是完全内在的形式主义的树集。它的定义涉及概念的coCartesian纤维化的树状集和扩展卢里的定义coCartesian纤维化的单纯集。我们证明了,对于一个树状集X,在X上的coCartesian纤维化如何拟合在一起,形成一个无限范畴coCart(X)。利用Grothendieck构造的推广,我们证明了coCart(X)等价于与X相关联的单纯运算上的无穷范畴中的代数的无穷范畴.这个等价性可以被限制为给出取值于无限广群(或等价地,取值于空间)的代数与X上的所谓左纤维化的无限范畴之间的等价性。
2011-12-03 math.AT math.CT
Categorical sequences
我们定义并研究了空间的范畴序列,这是一种新的形式主义,它简化了空间X的Lusternik-Schnirelmann范畴的计算,通过在其CW范畴上的归纳。CW复形X的范畴序列中的第k项σ_X(k)是cat_X(X_n)>= k的最小整数n。我们证明了σ_X是X的一个定义良好的同伦不变量。证明了σ_X(k+l)>= σ_X(k)+ σ_X(l),这是判定范畴序列幂的三个关键之一。除了这个公式,我们提供的公式有关的范畴序列的空间和他们的一些代数不变式,包括他们的上同调代数和他们的理性模式,我们还发现之间的关系的范畴序列的空间中的纤维化序列,并给出一个初步结果的范畴序列的产品的两个空间在理性的情况下。我们完全刻画了可以作为形式理性空间的范畴序列出现的序列。我们提供的许多例子中最重要的是一个简单的证明吉安娜定理:如果X是李群Sp(3)的Mislin亏格的成员,那么cat(X)= cat(Sp(3))。
2009-04-03 math.AT math.CT
Codensity Lifting of Monads and its Dual
本文提出余密度提升方法,将纤维化基范畴上的单子提升到全范畴,并给出其对偶密度提升,同时刻画了代数运算的提升及偏序纤维化上单子提升的极限特征。
2018-10-26 cs.LO math.CT
A Synthetic Perspective on $(\infty,1)$-Category Theory: Fibrational and Semantic Aspects
推理弱的高级范畴结构构成了一项具有挑战性的任务,即使是专家。一个主要的原因是集合论的语言在较弱的等价概念下不是不变的,比如同伦等价。从这个角度来看,要求一个更自然地支持这些概念的不同的基础环境是很自然的。我们的工作采取了建议,在原来的文章arXiv:1705.07442由Riehl-Shulman进一步发展合成$(\infty,1)$ -范畴论在单纯同伦型理论,特别是包括研究的cocarrhythmic纤维化。再加上一系列的分析结果,特别是由于里尔-维里蒂和Rasekh,因此,我们的类型理论帐户构成了一个合成理论的纤维化的内部$(\infty,1)$ -类别,w.r.t.通过Shulman关于单叶宇宙严格化的主要结果arXiv:1904.07004,我们得到了任意的Grothendieck-Rezk-Lurie- $(\infty,1)$ -topos。
2022-02-26 cs.LO math.AT math.CT
$(\infty,1)$-Categorical Comprehension Schemes
本文在$(\infty,1)$-范畴论中定义并研究理解概念,通过单值元理论实现Bénabou基础,推广小性与相对可定义性,并利用理解模式刻画高阶范畴性质。
2024-07-19 math.AT math.CT math.LO