An Embedding theorem for abelian monoidal categories
证明了在一定的技术条件下，阿贝尔范畴可以嵌入环上的双模范畴。对半单刚性幺半范畴范畴的情形进行了更详细的研究。
2000-04-25 math.CT math.QA math.RA
Hilbert series of representations of categories of $G$-sets
本文研究有限群 $G$ 的有限自由 $G$-集合范畴上反变函子的希尔伯特级数，证明其具有有理形式，且分母线性多项式的系数位于由 $G$ 的特征标表生成的域中。
2024-04-30 math.AC math.CT math.RT
Complete C*-categories and a topos theoretic Green-Julg theorem
我们研究了C*-范畴范畴的范畴完备性的正确定义，并提出了几个这样的定义的变体，使得C*-代数上的Hilbert模范畴成为自由（余）完备.我们将关于生成元和比较理论的结果推广到我们的“完备C*-范畴”，并给出了C*-代数或C*-范畴上的Hilbert模范畴的抽象刻画为“完备C*-范畴有足够的绝对紧态射（和生成元）".然后，我们应用这一点来研究范畴的希尔伯特空间在topos显示，这是一个例子，一个完整的C*-范畴。证明了拓扑理论的Green-Julg定理：拓扑上的局部可判定的、可分离的、局部反射是局部紧的、完全正则的希尔伯特空间范畴是附着在拓扑上的C ~*-代数上的希尔伯特模范畴.本文的所有结果都得到了构造性的证明，因此可以应用于拓扑结构的内部。此外，我们还构造性地证明了一些关于C ~*-代数和Hilbert模的经典结果.
2015-12-10 math.CT math.OA
Hilbert spaces over $C^*$-tensor categories, Fredholm modules and cyclic cohomology
本文在刚性 $C^*$-张量范畴上的广义 Hilbert 空间上构造 Fredholm 模，并利用 Connes 方法导出循环上同调中表现良好且仅依赖于同伦类的 Chern 特征。
2024-04-19 math.CT math.OA math.RA
Measurable Categories
我们发展了希尔伯特空间的可测域范畴和有界算子的有界域的理论。我们研究类函子和自然变换具有良好的测量理论的性质，提供了一个严格的建设，在最后的bicategory用于联合工作与起重机作为基础的表示论的（李）2群。几个重要的技术成果建立的道路上：首先，它表明，所有有界可逆的加法函子（因此更不用说所有可逆 * 函子）之间的范畴可测领域的希尔伯特空间是诱导可逆可测变换之间的基础Borel空间。其次，建立了Lusin空间上的希尔伯特空间张量积关于$σ$ -有限测度在直积分上的分配性。最后给出了可测双范畴的一般定义。
2004-09-06 math.CT math.QA
An embedding theorem for regular Mal'tsev categories
本文得到了阿贝尔范畴的Lubkin嵌入定理的一个非阿贝尔类似。我们的定理忠实地嵌入任何小的正则Mal'tsev范畴$\mathbb{C}$的$n$ -次幂的一个特定的局部可表示的正则Mal'tsev范畴。嵌入保持并反映有限极限、同构和正则满态，就像正则范畴的巴尔嵌入定理一样。此外，我们还证明了可以把$n$作为$\mathbb{C}$中终端对象的子对象的基数.
2017-10-09 math.CT
Krein C*-categories
C*-范畴是希尔伯特空间之间的有界线性算子的本质范数闭 *-范畴。本文的目的是确定定义Krein C*-范畴的适当公理，即当希尔伯特空间被更一般的不定内积Krein空间所取代时，起C*-范畴作用的那些范畴，并提供一些基本例子。最后给出了Krein C* 代数和Krein C* 范畴的Gel'fand-Naimark表示定理。
2011-12-27 math.CT math.OA
Toward a non-commutative Gelfand duality: Boolean locally separated toposes and Monoidal monotone complete $C^{*}$-categories
对于任何布尔拓扑，我们都可以将其内部希尔伯特空间的范畴联系起来，如果拓扑是局部分离的，我们可以考虑平方可积〔的〕的满子范畴希尔伯特空间。在这两种情况下，它都是对称monoidal单调完备$C^{*}$范畴。我们将证明任何布尔局部分离拓扑都可以被重构为“非退化”monoidal正规$*$ -表示的分类拓扑，它既是它的内部Hilbert空间范畴，也是它的平方可积〔的〕希尔伯特空间.这表明一个可能的扩展通常Gelfand对偶之间的一类toposes（或更一般的局部堆栈或局部广群）和一类对称monoidal $C^{*}$ -类别尚未发现。
2015-01-28 math.CT math.OA
Unitary TQFTs, unitary disk-like $n$-categories, and higher Hilbert spaces
本文提出用完备有限酉圆盘状$n$-范畴定义有限$(n+1)$-希尔伯特空间，验证了$n=1,2$情形，并由此分类了低维酉TQFT。
2026-09-18 math-ph math.CT math.MP
An embedding theorem for tangent categories
切范畴由罗西基引入，作为代数和几何中微分结构的范畴设置;在Cockett、Crutwell等人的近期工作中，它们也被应用于计算机科学中微分结构的研究。在本文中，我们证明了每一个切范畴承认一个嵌入到一个可表示的切范畴-一个其切线结构是由一个独立的切向量的指数，如在，例如，任何模型的科克和Lawvere的综合微分几何。在我们的证明中的关键一步是使用由于梁的切范畴的相干定理来展示切范畴作为某种丰富的范畴。
2020-06-02 math.CT
Colimits of accessible categories
我们证明了可达范畴和可达全嵌入的任何有向上极限都是可达的，并且假设存在任意大的强紧基数，可达范畴和可达全嵌入的任何有向上极限都是可达的。
2011-10-04 math.CT
An embedding theorem for adhesive categories
粘着范畴是一类具有单态的推出、所有的拉回以及与这些推出和拉回相关的某些精确性条件的范畴。我们给出了一个新的证明的事实，即每一个拓扑是胶粘剂。我们还证明了一个逆命题：在拓扑空间中，每个小粘着范畴都有一个完全忠实函子，且该函子保持拓扑空间的全部结构。结合这两个结果，我们发现粘附范畴定义中的正合性条件正是沿着单态的推出与在任何拓扑中成立的拉回之间的关系。
2011-03-03 math.CT
Realizing the braided Temperley-Lieb-Jones C*-tensor categories as Hilbert C*-modules
在离散值域$\{2\cos(π/(k+2))\,:\,k=1,2,\ldots\}\cup\{2\}$中，我们将每个带参数$δ$的Temperley-Lieb-Jones C*-张量范畴$\mathcal{T}\!\mathcal{L}\mathcal{J}(δ)$与某个紧算子的C*-代数$\mathcal{B}$联系起来.利用$\mathcal{T}\!\mathcal{L}\mathcal{J}(δ)$上的酉编织，将（右）Hilbert $\mathcal{B}$ -模范畴$\mathrm{Mod}_{\mathcal{B}}$赋予编织C*-张量范畴的结构.我们证明了$\mathcal{T}\!\mathcal{L}\mathcal{J}(δ)$作为一个辫子C*-张量范畴等价于$\mathrm{Mod}_{\mathcal{B}}$的满子范畴$\mathrm{Mod}_{\mathcal{B}}^f$，其对象是那些允许一个有限标准正交基的模.最后，我们指出这些考虑如何推广到任意的非线性生成的刚性编织C*-张量范畴。
2020-05-29 math-ph math.CT math.MP
Category Algebras and States on Categories
本文的目的是建立一个新的桥梁之间的范畴论和广义概率论称为非交换概率或量子概率，这是起源于量子理论的数学框架，在状态作为线性泛函定义在范畴代数。我们澄清范畴代数可以被认为是广义矩阵代数和范畴上定义的线性泛函的状态原来是广义的概率测度集的离散范畴。此外，通过建立著名的GNS（Gelfand-Naimark-Segal）构造的推广，我们得到了某些广义希尔伯特空间上的$^{\dagger}$ -范畴的范畴代数的表示，我们称之为Rig上的半Hilbert模.
2021-09-05 math.CO math.CT math.FA
Model Categories and the Higher Riemann-Hilbert Correspondence
本研究通过右Bousfield局部化构造拓扑空间上dg预层范畴的新模型结构，证明光滑/复流形上德拉姆/Dolbeault代数的dg模与dg预层间的Quillen等价，还建立奇异上链代数dg反模与dg预层的同伦范畴等价，推进高阶黎曼-希尔伯特对应相关同伦理论研究。
2025-01-17 math.AT math.CT
Nuclear and Trace Ideals in Tensored *-Categories
通过定义张量 *-范畴中的核理想，我们推广了来自泛函分析的核映射的概念.这项研究的动机来自于试图概括关系范畴的结构，以处理所谓的“概率关系”。与关系范畴相关的紧闭结构并不直接推广，而是得到核理想。我们引入核理想的概念来分析这些类的态射。在紧闭范畴中，我们看到所有态射都是核态射，而在希尔伯特空间范畴中，核态射是希尔伯特-施密特映射。我们还介绍了两个新的例子张量 *-范畴，其中集成起着组成的作用。首先，态射是一类特殊的分布，我们称之为驯服分布。我们还介绍了一类概率关系，这是原来的激励的例子。最后，我们通过引入迹理想的概念，将Joyal、Street和Verity最近关于追踪的幺半范畴的工作扩展到这种情况。对于一个给定的对称幺半范畴，一般不是任意自同态都能被赋迹的情况。然而，我们可以找到理想的范畴上，一个跟踪可以定义满足方程类似的Joyal，街和Verity。我们在张量 *-范畴中建立了核理想与迹理想之间的密切对应关系，这是由希尔伯特空间上的Hilbert-Schmidt算子与迹算子之间的对应关系所暗示的.
1998-06-29 math.CT
On Traces in Categories of Contractions
Dalhousie University（达尔豪斯大学）
本文证明在任何具有Moore-Penrose伪逆的dagger加法范畴中，收缩映射的迹性质成立，扩展了Bartha关于等距映射具有迹的结论。
2025-08-20 math.CT quant-ph
Bicommutant categories from fusion categories
Bicommutant范畴是第一作者最近引入的von Neumann代数的更高范畴类似物。在这篇文章中，我们证明了每一个酉融合范畴给出了一个双同变范畴的例子。这个定理是对一个著名结果的分类，根据这个结果，一个可以在希尔伯特空间上忠实表示的有限维 *-代数实际上是一个冯诺依曼代数。
2016-12-18 math.CT math.OA math.QA
A characterisation for the category of Hilbert spaces
针对现有Hilbert空间范畴刻画依赖monoidal结构而排除四元数的问题，本文提出一种无需该假设的替代刻画方法，成功统一了实数、复数与四元数Hilbert空间范畴。
2025-04-07 math.CT
Model independence of $(\infty,2)$-categorical nerves
对于$(\infty,2)$ -范畴的大多数模型，2-范畴的$\infty$ -范畴到$(\infty,2)$ -范畴的嵌入已经以某种风味的神经构造的形式构造。我们证明了所有这些神经嵌入诱导等价函子，模的变化。我们还表明，所有的神经嵌入实现$\infty$ -范畴的2-范畴的子- $\infty$ -范畴的$(\infty,2)$ -范畴，是局部的关于某一类的地图。
2022-06-01 math.AT math.CT
Extending monoidal structures on fibered categories via embeddings
该研究针对小范畴及其满子范畴的嵌入关系，证明了满足自然条件的纤维范畴幺半群结构由子范畴上的限制唯一决定且可扩张，该结论可应用于反常层与可构造导出范畴，也适用于纤维范畴态射及其幺半群性。
2024-12-11 math.AG math.CT
Categories for the practising physicist
在这一章中，我们将以一种有点非传统的方式来考察范畴论中的一些特殊主题。我们的主要重点将是monoidal范畴，主要是对称的，我们提出了一个物理解释。这些与量子基础和量子信息学特别相关。特别注意的范畴，其中有有限维希尔伯特空间作为对象，线性映射作为态射，张量积作为其monoidal结构（FdHilb）。我们还提供了一个详细的讨论范畴的集合作为对象，关系作为态射，和carnival产品作为其monoidal结构（Rel），第三，范畴与流形作为对象和cobordisms之间作为态射（2Cob）。虽然集合、希尔伯特空间和流形不共享任何非平凡的共同结构，但这三个类别实际上在结构上非常相似。共同的特点是图解演算，紧凑的封闭结构和特殊类型的内部commonies发挥了重要作用，在每一个。范畴FdHilb和Rel还允许范畴矩阵演算。这些特征一起引导我们走向拓扑量子场论。我们还讨论了姿态范畴，群表示如何实际上是范畴结构，以及monoidal范畴的严格化和连贯性是什么。为了补充现有的文献，我们省略了一些非常基本的主题。对于这些，我们建议读者参考其他可用的来源。
2009-10-12 math-ph math.CT math.MP
Hilbert series in the category of trees with contractions
我们考虑与各种树上的模相关的希尔伯特级数。利用Sam和Snowden的技巧，我们证明了这些Hilbert级数必须是代数的。然后，我们应用这些技术定理来证明与树相关的某些自然生成函数的事实。
2020-07-11 math.AT math.CO math.CT
Sheaf representation of monoidal categories
在拓扑空间上，每一个具有中心幂等元的泛有限并的小monoidal范畴与局部幺半范畴层的整体瓣范畴是monoidal等价的。每一个小的刚性幺半范畴半群嵌入到这样一个整体瓣截面范畴中。这些定理的一个无穷版本在空间的情况下也成立。这些表示结果是函子的，并继承了拓扑的Lambek-Moerdijk-Awodey层表示、布尔代数的Stone表示和作为希尔伯特空间连续域的Hilbert模的Takahashi表示.一个幺半范畴的许多性质都延续到它的层的茎上，包括有迹、有指数对象、有对偶对象、有某种形状的极限，以及中心幂等元形成一个布尔代数。
2022-03-25 math.CT
Pushout stability of embeddings, injectivity and categories of algebras
在拓扑空间和连续映射范畴${\mathbb T}$的几个熟悉的子范畴中，嵌入不是推出稳定的。但是，一个有趣的特征，在许多范畴中，即在拓扑空间的范畴$\mathcal{B}$中，可以捕获，如下：对于$\mathcal{M}$，所有嵌入的类，所有推出稳定的$\mathcal{M}$ -态射的子类（即，在那些沿着任意态射推出总是属于$\mathcal{M}$的$\mathcal{M}$ -态射中）对于某个空间$A$具有$A^{Inj}$形式，其中$A^{Inj}$由所有态射$m:X \to Y$组成，使得映射$Hom(m,A): Hom(Y,A) \to Hom(X,A)$是满射的。我们研究这个现象。我们证明，在温和的假设下，这样一个空间$A$的反射壳是$\mathcal{B}$的最小$\mathcal{M}$ -反射子范畴;而且，这个反射壳的相反范畴等价于Eilenberg-Moore范畴$Set^{\mathbb T}, where $ { \mathbb T} $ is the monad induced by the right adjoint $ Hom（-，A）的反射子范畴：{ \mathbb T}^{op} \to设置$. We also find conditions on a category $ \mathcal{B} $ under which the pushou…
2002-04-10 math.CT
The Freyd-Mitchell Embedding Theorem
给定一个小的阿贝尔范畴$\mathcal{A}$，Frederic-Mitchell嵌入定理陈述了环$R$和精确的全嵌入$\mathcal{A} \rightarrow R$ -模的存在性。这个定理是有用的，因为它允许人们在$R$ -模的上下文中证明关于阿贝尔范畴的一般结果。本报告的目的是充实嵌入定理的证明。我们将密切关注Freyd（1964）中提出的材料和方法。这意味着我们将遇到诸如投射生成元、内射余生成元、米田嵌入、内射包络、格罗滕迪克范畴、单对象的子范畴和绝对纯对象的子范畴等概念。
2019-01-23 math.CT
Exact dg categories II : The embedding theorem
本文研究正合 dg 范畴的嵌入定理，构造有界 dg 导出范畴与泛正合态射，证明 dg 商的典范正合结构及张量、函子封闭性，并证实相关代数情形猜想。
2024-06-17 math.CT math.KT math.RT
Categorical Structures on Bundle Gerbes and Higher Geometric Prequantisation
我们提出了一个2-希尔伯特空间的部分束gerbe，一个合适的候选人的prequantum 2-希尔伯特空间在更高的几何量子化的建设。本文引入了丛格伯2-范畴中态射范畴的一个直和，并证明了这些范畴都是Carnival monoidal和Abel范畴。平凡丛gerbe的自同态，或更高的功能，携带一个Rig-category的结构，它作用于丛gerbe的一般态射范畴。我们继续提出一个分类的厄米度量厄米线丛。这是通过引入一个函子对偶来实现的，它将向量丛的对偶扩展到丛格的态射，并为前述态射范畴上的Rig-Module范畴结构构造一个双变量的附加。它的右内hom是模作用，由取高次函数的对偶组成，而左内hom被解释为一个丛格贝度量。把格伯丛的截面定义为从平凡格伯丛到给定格伯丛的态射。由此产生的截面范畴在有限维希尔伯特空间范畴上具有rig-module结构。本文给出了2-Hilbert空间的一个适当定义，并通过使用两个变量的修正修正了以前的定义。我们证明了一个丛gerbe的部分的范畴适合于这个框架，从而得到一个2-希尔伯特空间的部分。特别是，这可以构建为prequantum束gerbes在更高的几何量化的问题。我们定义了一个降维函子，并证明了在丛格贝斯上引入的范畴结构自然地减少到厄米线丛上的对应物。在这篇论文的几个地方，我们提供了例子，使2-希尔伯特空间的部分和降维非常明确。
2017-09-18 hep-th math-ph math.CT
Exponential Objects in Categories of Generalized Uniform Hypergraphs
我们构造指数对象的广义均匀超图的类别和使用神经实现推理的嵌入，以显示为什么传统的类别的图和超图没有指数对象。
2018-07-24 math.CO math.CT
Infinite-Dimensional Representations of 2-Groups
一个“2-群”是一个配备有乘法满足规律的范畴，就像一个群。就像群在向量空间上有表示一样，2-群在“2-向量空间”上有表示，这是类似于向量空间的范畴。不幸的是，Lie 2-群在Kapranov和Voevodsky引入的有限维2-向量空间上通常只有很少的表示。由于这个原因，Crane、Sheppeard和Yetter引入了某些称为“可测范畴”的无限维2-向量空间（因为它们与希尔伯特空间的可测场密切相关），并使用它们来研究某些Lie 2-群的无限维表示。我们在这里继续这项工作。我们首先详细研究可测量的类别。然后，我们给出了任何骨架可测2-群的可测表示、缠绕子和2-缠绕子的几何描述。我们研究张量积和直和表示，以及各种概念的子表示。我们描述了直接和缠绕，和子缠绕-功能没有看到在普通组表示论。我们研究不可约和不可分解的表示和交织。我们还研究了“不可伸缩”的表示-另一个功能没有看到在普通的群表示论。最后，我们证明了具有某种额外结构的可测范畴可以被认为是“可分的2-希尔伯特空间“，并将这一思想与作为交换von Neumann代数表示范畴的2-希尔伯特空间的一个尝试性定义进行了比较.
2011-02-09 math-ph math.CT math.MP
Resolvent embeddings
在范畴可实现性和Tripos理论中出现的许多ex/reg完备化$J:\mathcal C\to\mathcal C_{\rm ex/reg}$都允许任意正合范畴的任意连续函子的左Kan扩张。本文确定了负责这些扩展的属性：函子是 * 预解式 *。归结性是具有（弱）依赖乘积和一般单态的正则范畴的ex/reg完成的topose的特征。它也有助于描述三位体到句首构式所产生的句首。
2014-02-18 math.CT
The many faces of higher Hilbert spaces
本文通过G- dagger范畴统一了有限维算子代数作为C*, W*, H*代数时的模范畴与对应2-范畴差异，引入G- Hermitian 2-向量空间并定义正性条件，为高维希尔伯特空间提供归纳定义框架。
2026-06-11 math-ph math.CT math.MP
Infinity-operadic foundations for embedding calculus
Karlsruhe Institute of Technology（卡尔斯鲁厄理工学院）；University of Toronto Scarborough（多伦多大学士嘉堡校区）
本文基于无穷操作算子构建嵌入计算框架，扩展了Goodwillie-Weiss的嵌入计算到 bordism 类别，并提出新的嵌入计算版本，如基于BTop(d)的拓扑嵌入计算和基于BAut(E_d)的配置类别计算。
2026-03-11 math.AT math.CT math.GT
A Morita theorem for algebras of operators on Hilbert space
证明了两个算子代数是强Morita等价的当且仅当它们的算子模范畴通过完全压缩函子是等价的.此外，任何这样的函子都是完全等距同构于Haagerup张量积（=内部张量积）的强Morita等价双模。
1999-06-12 math.CT math.OA math.RA
The 2-Hilbert Space of a Prequantum Bundle Gerbe
对Dixmier-Douady类为挠的线丛，构造了一个准量子2-Hilbert空间。类似于通常的预量子化，这个2-希尔伯特空间具有线丛gerbe的部分的范畴作为其基础的2-向量空间。这些部分是作为Waldorf版本的线丛gerbes的2-范畴中的某些态射范畴获得的。我们发现，这些态射范畴进行monoidal结构下，他们是半单和阿贝尔。我们在截面上引入一个对偶函子，它在丛格之间的态射上产生一个封闭的结构，并将截面范畴转化为一个2-Hilbert空间。我们将讨论这些2-希尔伯特空间如何适应更高的预量化的各种期望。然后，我们将海侵函子扩展到全2-范畴的丛gerbes，并证明了它的兼容性与额外的结构介绍。我们讨论了各个方面的Kostant-Souriau prequanisation在这种情况下，包括其降维普通prequanisation。
2017-10-10 hep-th math-ph math.CT
Spectral Theory for Non-full Commutative C*-categories
本文将交换 C*-范畴的谱理论扩展至非满情形，引入谱空间胚概念建立对偶性，并为本原 Hilbert C*-双模的非满推广证明了谱定理。
2025-11-01 math.CT math.OA
On the $\infty$-categorical Whitehead theorem and the embedding of quasicategories in prederivators
本文证明小拟范畴可单纯及2-范畴地嵌入任意小范畴上的预导子，使其成为(∞,1)-范畴模型，并证明预导子可检测任意大型拟范畴等价的Whitehead定理。
2020-02-16 math.AT math.CT
Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories
玩具模型已经被用来从标准希尔伯特空间模型的丰富背景中分离量子计算的重要特征。另一方面，范畴论是一种将数学结构的组成部分分开的通用工具，并且一次分析一层。将这两种方法结合起来似乎很自然，一些作者已经在追求这一想法。我们探索 * 类别理解结构 * 作为一种工具，为玩具模型添加功能。我们用它来理解有限维希尔伯特空间的基本模型中的量子命题和概率。我们还分析了互补的量子可观的集合和关系的类别。这就引入了 * 测试空间 * 的领域，这是一个研究得很好的模型。我们提出了这个模型的许多可能的扩展之一，使理解建设。显然，以这种方式获得的所有模型都具有相同的范畴结构，用互补运算 * 扩展 * 了熟悉的匕首紧致框架。我们称得到的结构为 * 匕首混合自治 *，因为它扩展了计算机科学中流行的混合自治范畴，就像匕首紧凑结构扩展紧凑范畴一样。在量子计算中，只要互补性被视为全局结构的一部分，匕首混合自治范畴似乎就很自然地出现了。
2010-06-05 cs.LO math-ph math.CT
Compact hyper-Kähler categories
定义并研究了超Kähler范畴的概念。在理论方面，我们重点介绍了这类建筑的施工技术和变形理论。我们还详细研究了一些例子：K3曲面上点的非交换Hilbert方案和Markushevich和Tikhomirov构造的相对紧化Prymian的范畴分解。
2017-04-10 math.AG math.CT
Exact Categories
我们在Quillen意义下的正合范畴中考察了同调代数的基本性质。所有的图引理都是直接从公理证明的，特别是five引理，3 x 3-引理和snake引理。简要讨论了正合函子、幂等完备性和弱幂等完备性。然后，我们表明，它是可能的，以构建一个确切的类别没有任何嵌入到阿贝尔范畴的导出范畴，我们素描德利涅的方法导出函子。构造具有阿贝尔范畴中的值的经典导出函子可以轻松地转换为精确范畴，即，给出了投射分解的比较定理和马蹄引理的证明。在讨论了一些例子后，我们在附录中详细说明了Gabriel-Quillen嵌入定理的证明。
2009-04-22 math.CT math.HO math.KT
The Yoneda embedding in simplicial type theory
Aarhus University（奥胡斯大学）；Chapman University（查普曼大学）；University of Nottingham（诺丁汉大学）
本文在 simplicial 类型理论中构建 Yoneda 入射，发展预层范畴理论，并证明 Quillen 定理 A。
2026-11-09 cs.LO math.AT math.CT
