Higher operad structure for Fukaya categories
该论文通过建立伪全纯多边形模空间上的-多范畴结构，并发展微分分次（dg）-多范畴理论，为包括代数、双模及（弯曲）范畴在内的各类型结构提供了统一的算子表述框架。
🔢 Category
math.CT
52 篇论文
Theorem of the heart for Weibel's homotopy -theory
本文证明了 Weibel 同调 K 理论满足“心定理”，即对于具有有界 t-结构的小稳定∞-范畴，其心范畴的 K 理论与原范畴的 K 理论等价，并由此推导出 K 理论的分解定理，同时通过强化版 Barwick 心定理揭示了该结论在负次 K 群中的精确界限。
Towards a Higher-Order Mathematical Operational Semantics
本文通过将 Turi 和 Plotkin 的双代数抽象 GSOS 框架推广至高阶语言，建立了基于点状高阶 GSOS 律的抽象规范理论，从而为 SKI 演算和-演算等系统的组合性证明提供了通用的数学语义框架。
Infinity-operadic foundations for embedding calculus
本文通过研究截断右模的-范畴塔及其在 Morita -范畴上的推广，将 Goodwillie-Weiss 嵌入演算扩展至流形嵌入空间与自同构的更广泛背景（包括拓扑嵌入和配置范畴），并证明了相关的收敛性、重层化结果及同调 4-球上的 Alexander 技巧。
Graphs With Polarities
该论文通过将带符号有向图推广为边标记为幺半群元素的“极性图”，构建了三种具有不同应用（细化、简化和模式发现）的对称幺半群双范畴，并利用系数在交换幺半群上的图同调理论（特别是 Mayer-Vietoris 序列）来研究反馈环的涌现。
Embeddable partial groups
该论文记录了一个关于偏群嵌入群的folklore定理（即当且仅当每个单词的乘法结果与括号化方式无关时偏群可嵌入群），研究了不可嵌入偏群的典型反例，并证明了偏群胚可嵌入群胚当且仅当其约化可嵌入群。
Cores and localizations of -categories
本文通过核心函子和局部化函子研究 -范畴，比较了由此产生的两个 -范畴，并证明局部化极限是核心极限的反射性局部化，同时探讨了由余归纳等仅在 时涌现的可逆性概念所定义的中间局部化。
Category Theory for Programming
这篇讲义以函数式编程的应用为导向，简要介绍了范畴论中的初始代数（用于刻画数据类型和递归函数）和单子（用于处理语言中的副作用）等核心概念，并包含大量习题与解答。
Homotopy Cardinality and Entropy
本文通过引入概率类型和随机变量类型，利用同伦基数建立了同伦类型论与信息论之间的联系，将香农熵表述为类型的同伦基数，并在特定假设下推导出了熵的链式法则。
On actions and split extensions in varieties of hoops: the case of strong section
本文研究了 hoops 簇及其子簇（如基本 hoops、Wajsberg hoops、Gödel hoops 和乘积 hoops）中的内部作用与分裂扩张，通过强外部作用刻画了具有强截面的分裂扩张，建立了其与 L-代数中半直积构造的联系，并以双否定为例展示了其在 BL-代数中的具体应用。
Monoidal Ringel duality and monoidal highest weight envelopes
本文通过半无限 Ringel 对偶的幺半群提升，证明了大量非阿贝尔幺半群范畴可嵌入具有最高权结构的阿贝尔幺半群范畴中的倾斜对象子范畴，并揭示了其对仿射李代数表示范畴幺半群结构的构造作用。
Fully-Dualizable and Invertible -Algebras
本文证明了 Brochier、Jordan、Safronov 和 Snyder 关于在更高 Morita 范畴中完全可双重化且可逆的 -代数的猜想，从而刻画了产生 维拓扑量子场论及其可逆理论的那些 -代数。
The five-sequence of adjoints for combinatorial simplicial complexes
该论文研究了集合间函数诱导的复形范畴之间的五个伴随函子序列，并借此为有限集上的单纯复形构建了三种范畴结构，使得斯坦利 - 赖斯纳对应于交换单项式环的映射呈现出对偶性。
Higher-Order Quantum Objects are Strong Profunctors
该论文通过构建一个从高阶因果范畴到强双函子范畴的函子，证明了基于因果约束和高阶组合约束的量子高阶映射构造在特定条件下是等价的，从而表明利用组合约束表达因果约束的方法可将高阶量子理论推广至一般的对称幺正范畴。
Quantum Supermaps are Characterized by Locality
该论文通过引入仅涉及序列与并行组合的“局部可应用变换”公理，为量子超maps 提供了新的刻画，并将其推广至任意幺正范畴及操作概率理论，证明了在量子信道上的此类变换与确定性量子超maps 之间存在一一对应关系。
On Vector Spaces with Formal Infinite Sums
本文定义了具有形式无限线性组合性质的“合理强向量空间范畴”，证明了其最大范畴等价于超有限可和空间范畴，并分析了该范畴及其相关子范畴在由 诱导的张量积下的闭包性质与单子结构。
Silting reduction, relative AGK's construction and Higgs construction
本文通过引入 Calabi--Yau 四元组概念，证明了其关联的 Higgs 范畴是 -Calabi--Yau Frobenius 外三角范畴且具备典范 -簇倾斜子范畴，并确立了相对 AGK 构造与 Higgs 构造均能将 silting 约化转化为 Calabi--Yau 约化。
Realizing compatible pairs of transfer systems by combinatorial -operads
本文研究了 May 的算子对与 Blumberg-Hill 的兼容索引系统对之间的关系，证明了算子对可诱导索引系统对，并在许多情况下证明了兼容索引系统对可由 -算子对实现。
Pivotal Brauer-Picard groupoids and graded extensions
本文建立了幺正和球面分次扩张理论，定义了相应的 Brauer-Picard 2-范畴群，将其实现为自然 2-范畴作用的不动点，并通过 2-函子分类了分次扩张，同时发展了判断幺正和球面结构可扩展性的障碍理论。
Characterizing model structures on finite posets
本文利用转移系统作为核心工具，完整刻画了有限格上的所有模型范畴结构，从而在抽象同伦理论与等变方法之间建立了新的联系。