首页/论文/1106.1979

arXiv 1106.19792011-06-10math.CT

多重张量的提升定理

The Lifting Theorem for Multitensors

Michael Batanin, Denis-Charles Cisinski, Mark Weber

备注：: 26 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们继续发展单子和多重张量的理论。本文的中心结果-多重张量的提升定理-使我们能够看到的灰色张量积的2-范畴和Crans张量积的灰色范畴的一部分，我们新兴的框架。此外，我们解释了我们的提升定理给出了一个替代的描述日卷积在未丰富的上下文中。

英文摘要：

We continue to develop the theory of monads and multitensors. The central result of this paper - the lifting theorem for multitensors - enables us to see the Gray tensor product of 2-categories and the Crans tensor product of Gray categories as part of our emerging framework. Moreover we explain how our lifting theorem gives an alternative description of Day convolution in the unenriched context.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

多张量提升与严格酉高阶范畴理论

Multitensor lifting and strictly unital higher category theory

在这篇文章中，我们扩展了松弛monoidal结构的理论，也被称为multitensors，和单子上的丰富的图形，他们产生的范畴。我们的第一个主要结果--多重张量的提升定理--使我们能够看到2-范畴的格雷张量积和格雷范畴的克兰斯张量积是这个框架的一部分。我们定义弱n-范畴严格单位的一个概念，减少高运算，使用代数弱因子分解系统的理论。我们的第二个主要结果是在具有严格单位的弱n-范畴上建立一个松弛张量积，使得关于这个张量积的丰富范畴恰是具有严格单位的弱（n+1）-范畴。

2013-09-17math.ATmath.CT

二维单子理论的一个广义极限提升定理

A general limit lifting theorem for 2-dimensional monad theory

本文给出了$T$ -代数关于$2$ -范畴的$2$ -胞元的任意$Ω$族的弱态射的定义.通过考虑$Ω$的特殊选择，我们恢复了$T$ -代数的松弛态射、伪态射和严格态射的概念。给出了弱极限的一般概念，并定义了弱极限与另一类$2$ -胞腔相容的意义.这些概念使我们能够证明一个极限提升定理，统一和推广了三个不同的先前已知的结果$2$维单子理论。通过考虑上述$Ω$的三种选择，我们的定理作为推论具有oplax的提升（分别为）。$σ$分别概括了lax和pseudo。严格）限制到$2$ -宽松的类别（分别为pseudo，resp.严格）态射。

2017-04-04math.CT

双范畴之间纤维化的极限提升定理

A limit lifting theorem for fibrations between bicategories

本文将范畴论中格罗滕迪克纤维化的极限提升标准定理推广到双范畴之间的纤维化情形，给出并证明了相应的广义结果，为双范畴层面的极限计算提供工具。

2025-09-04math.CT

关于双伴和松弛代数的提升

On lifting of biadjoints and lax algebras

根据双伴随三角形定理，给定一个$2$ -范畴$\mathfrak{B} $上的伪单子$\mathcal{T} $，如果一个右双伴随$\mathfrak{A}\to\mathfrak{B} $有一个到伪代数$\mathfrak{A}\to\mathsf{Ps}\textrm{-}\mathcal{T}\textrm{-}\mathsf{Alg} $的提升，那么这个提升也是右双伴随的，只要$\mathfrak{A} $有代码对象。本文给出了双共轭提升的一般结果。因此，我们得到了一个\textit{biadjoint triangle theorem}，特别是，它使我们能够研究三角形涉及$2$ -类别的宽松代数，证明类似物的上述结果。更确切地说，我们证明了，用$\ell :\mathsf{Lax}\textrm{-}\mathcal{T}\textrm{-}\mathsf{Alg} \to\mathsf{Lax}\textrm{-}\mathcal{T}\textrm{-}\mathsf{Alg}_\ell $表示包含，如果$R: \mathfrak{A}\to\mathfrak{B} $是右双伴随的，并且有提升$J: \mathfrak{A} \to \mathsf{Lax}\textrm{-}\mathcal{T}\textrm{-}\mathsf{Alg} $，那么$\ell\ci…

2018-01-09math.CT

斜monoidal反射与提升定理

Skew-monoidal reflection and lifting theorems

戴反射定理给出了闭幺半范畴的反射子范畴可以具有闭monoidal结构的条件，使得反射附加成为monoidal附加。我们将这个结果应用于斜幺半范畴。这个变体的美妙之处进一步证明了偏斜概念中涉及的方向选择对于组织和增加某些数学现象的深度是重要的。我们还提供了条件下，斜monoidal结构可以提升到Eilenberg-Moore代数的范畴的comonad。

2015-07-13math.CT

高阶范畴伽罗瓦理论中提升条件的不合理有效性 I：一个拟范畴伽罗瓦定理

The Unreasonable Efficacy of the Lifting Condition in Higher Categorical Galois Theory I: a Quasi-categorical Galois Theorem

本文通过借鉴 Lurie 2024 的基础，将范畴伽罗瓦定理精化为拟范畴伽罗瓦定理，并揭示分解系统、高阶范畴伽罗瓦定理与高阶拓扑斯内部伽罗瓦理论之间的深层联系。

2024-09-05math.CT

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

C-系统的解释提升定理

The Interpretation Lifting Theorem for C-Systems

在这篇文章中，我们提出了一个解决方案，弗拉基米尔Voevodsky关于C-系统的猜想。这个猜想在某些假设下提供了函子$M\colon \mathrm{CC} \rightarrow \mathcal{C}$到C-系统$M'\colon \mathrm{CC} \rightarrow \mathrm{CC}(\widehat{\mathcal{C}},p_M)$的态射的提升，其中$\mathrm{CC}$是C-系统，$\mathcal{C}$是范畴。我们解释了这个猜想背后的动机，并介绍了C系统所需的背景材料。最后，我们给出了这个猜想的一个证明。

2021-11-30math.CTmath.LO

同伦伴随提升定理

Homotopical Adjoint Lifting Theorem

本文给出了范畴论中伴随提升定理的一个同伦版本，使得Quillen等价从monoidal模型范畴提升到色算子上的代数范畴.我们的方法的一般性，使我们能够同时回答问题的整改和改变的基础模型类别的Quillen等效的。我们在有色操作符的设置中工作，并且我们不要求它们是$Σ$相关的。我们的主要定理的特殊情况下恢复了许多已知的结果，关于纠正和改变模型类别，以及许多新的结果。特别是，我们恢复了Richter-Shipley最近关于交换$H\mathbb{Q}$ -代数谱和交换微分分次$\mathbb{Q}$ -代数之间的曲折Quillen等价的结果，但我们的版本只涉及三个Quillen等价而不是六个。我们还研究了在左Bousfield局部化之后如何将Quillen等价提升到有色运算代数范畴的理论。

2018-12-30math.AGmath.ATmath.CT

提升函子与相对舒尔-鲍尔定理

Lifting Functors and Relative Schur-Baer Theorems

Sobolev Institute of Mathematics（索博列夫数学研究所）

本文引入$C$-提升函子，构造相对商并证明其函子性，导出二阶满射，得到相对舒尔-鲍尔定理，关联外构造与相对舒尔乘子，证明虚拟纽结群左可序当且仅当圆可序。

2026-08-13math.ATmath.CTmath.GR

作为提升问题的解析与Chomsky-Schützenberger表示定理

Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem

本文通过操作元函子统一描述上下文无关文法，并推广Chomsky-Schützenberger表示定理，证明任意范畴上的箭头上下文无关语言可表示为色树轮廓语言与正则语言交集的函子像。

2023-02-20cs.FLmath.CT

等变辫子张量范畴中与α-归纳相关的Frobenius代数

Frobenius algebras associated with the $α$-induction for equivariantly braided tensor categories

本研究在G-辫子多张量范畴中给出G-等变α-归纳的范畴定义，在中性double范畴中构造G-等变α-归纳Frobenius代数，还定义G-等变全中心并证明其与该代数一致，推广了已有相关定理与构造。

2023-10-02math-phmath.CTmath.MP