首页/论文/1407.6969

arXiv 1407.69692014-07math.CT

Kleisli和Eilenberg-Moore 2-方程的应用

Applications of the Kleisli and Eilenberg-Moore 2-adjunctions

Juan L. López Hernández, Luis J. Turcio Cuevas, Adrián Vázquez-Márquez

备注：: 31 pags

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们利用Kleisli和Eilenberg-Moore 2-算子收集了范畴的同构和结构的双射。

英文摘要：

We collect some isomorphisms of categories and bijections of structures using the Kleisli and Eilenberg-Moore 2-adjunctions.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

作为Eilenberg-Moore代数的指数Kleisli幺半群

Exponential Kleisli monoids as Eilenberg-Moore algebras

Lax monoidal幂集丰富的单子在单子的Kleisli范畴中的幺半群范畴上产生幺半群结构。在这个范畴中的可指数对象被确定为具有代数结构的Kleisli幺半群。这一结果推广了经典的可指数拓扑空间的识别，即开子集格构成连续格的可指数拓扑空间。

2013-08-07math.CTmath.GN

Colax 伴随与 lax-幂等伪单子

Colax adjunctions and lax-idempotent pseudomonads

本文将 Bunge-Gray 关于相对 Kan 扩张构造 colax 伴随的定理推广到 lax-幂等伪单子情形，建立 Kleisli 2-范畴的弱完备性并描述 colax 基变换伴随，同时给出二维单子理论经典结果的 lax 对偶版本。

2024-05-01math.CT

Eilenberg-Moore范畴间的伴随与PBW型定理

Adjunctions between Eilenberg-Moore categories and a PBW-type theorem

最近，Dotsenko和Tamaroff证明了范畴$\mathscr C$上单子的$T\longrightarrow S$的态射满足PBW-性质当且仅当它使$S$成为自由右$T$ -模.我们考虑范畴$\mathscr C$、$\mathscr D$、$\mathscr C$上的单子$S$和$\mathscr D$上的单子$T$之间的附加$Ψ=(G,F)$。我们证明了一个态射$ϕ:(\mathscr C,S)\longrightarrow (\mathscr D,T)$具有PBW-性质当且仅当它使得$S$满足关于$T$ -模的自由度条件，$T$ -模的值在$\mathscr C$中。

2022-03-11math.CT

Morita环境下的Eilenberg-Moore范畴和Beck型定理

The Eilenberg-Moore category and a Beck-type theorem for a Morita context

描述了单子对的Eilenberg-Moore构造和一个Beck-type定理。更具体地说，一个{ \em森田上下文}的概念，包括两个单子，两个双代数函子和两个连接映射的介绍。结果表明，在许多情况下，代数范畴之间的等价性是由这样的森田上下文诱导的。构造了森田上下文的表征的Eilenberg-Moore范畴。这种构造允许人们将两对伴随函子与具有公共域或{ \em双伴随}的右伴随函子关联到森田上下文。它表明，相反，每一个森田上下文产生的双重附加。定义了双附连中右伴随函子的整环与相应Morita上下文的Eilenberg-Moore范畴之间的比较函子.给出了这一比较函子等价的充必要条件（或一对具有公共定义域的函子的{ \em mortability}）.

2009-09-22math.CT

通过2-Mnd类型的映射的Monad和Comonad对象

Monad and Comonad Objects through 2-adjunctions of the type Adj-Mnd

本文利用$\Adj$ - $\Mnd$型的2-解分析了分配律和混合分配律及其等价性。就分配律而言，分析了这种结构与2-范畴$\Adj_{\R}(Cat)$中的单子对象之间的等价性，其中这些单子对象对应于Eilenberg-Moore代数范畴的提升.其次，根据E. Manes and P. Mulry（2010），作者能够在所涉及的单子上用额外的自然性重新构建定理。另一方面，在2-附加的背景下，分析了混合分配律与同一2-范畴$\Adj_{\R}(Cat)$中的共单对象之间的等价性。这个comonad对象将对应于Eilenberg-Moore代数范畴上的comonad提升结构。最后，证明了代数和余代数上的混合分配律与一对Eilenberg-Moore提升之间的一个类似定理，并自然地证明了所涉及的单子和余单子上的等价性.本文遵循了作者和公司在前一期文章中提出的相同目标。也就是说，用2-对偶来分析经典单子理论，以提供证明的清晰性和等价性的自然性。

2017-06-08math.CT

双伴随和自由单子

Double Adjunctions and Free Monads

我们刻画了双重范畴的预层和泛方，然后将这些刻画应用于自由单子和双重范畴中的Eilenberg-Moore对象。我们改进了我们在“Monads in Double Categories”，JPAA 215：6，pages 1174-1197，2011中的早期结果，得出结论：如果具有共折叠的双范畴允许在其水平2-范畴中构造自由Monads，那么它也允许将自由Monads构造为双范畴。我们还证明了一个双重范畴承认Eilenberg-Moore对象当且仅当一定的参数化预层是表示。在此过程中，我们开发了双范畴上的参数化预层，并证明了双范畴Yoneda引理。

2011-12-20math.CT

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

笛卡尔微分Kleisli范畴

Cartesian Differential Kleisli Categories

本文引入笛卡尔微分单子，通过从基范畴提升微分组合子使单子的Kleisli范畴成为笛卡尔微分范畴，并利用抽象Kleisli范畴给出精确刻画，证明其Eilenberg-Moore范畴为切范畴。

2023-11-18cs.PLmath.CT

代数代数的若干方面

Aspects of algebraic Algebras

本文研究Kock-Zöberlein单子下Kleisli与Eilenberg-Moore范畴之间的中间范畴，刻画自由代数、研究加权极限存在性，并应用于滤子单子的幂等完备化。

2017-07-06math.CT

从Kleisli范畴到交换C ~*-代数：概率Gelfand对偶

From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality

C*-代数形成了相当普遍和丰富的数学结构，可以用不同的态射（保乘或不保乘）和不同的性质（交换或不交换）来研究。这些不同的选项可以用来将各种类型的计算（集合论，概率，量子）纳入C*-代数的范畴。首先，本文集中在交换的情况下，并表明，有函子从几个Kleisli类别，单子是相关的模型概率计算，类别的C*-代数。这产生了一个新的概率版本的Gelfand对偶，涉及“拉东”单子的范畴内的紧T2空间。证明了Radon单子的C ~*-代数到Eilenberg-Moore代数的状态空间函子是满的和忠实的。这使我们能够得到一个适当的交换状态和效果三角形的C*-代数。

2015-06-09cs.LOmath.CT

dagger范畴上的单子

Monads on dagger categories

本文研究dagger范畴上的单子理论，证明满足Frobenius定律的dagger单子可分解为伴随且极值解仍具dagger结构，刻画了Frobenius定律的融贯性质及强单子与Frobenius幺半群的关系。

2017-11-01math.CT

单子的形式理论，单值地

The Formal Theory of Monads, Univalently

在单值基础中发展单子的形式理论，定义单子的双范畴并证明其单值性，定义Eilenberg-Moore对象并关联单子与伴随，用Coq和UniMath库形式化。

2025-02-18cs.LOmath.CT

投射公式与单子中心上的诱导函子

Projection formulas and induced functors on centers of monoidal categories

University of Bonn（波恩大学）；University of Nottingham（诺丁汉大学）；University of Münster（明斯特大学）

本文研究了单子adjunction诱导的braided lax单子函子，通过投射公式 morphisms 的可逆性，探讨了Hopf代数的限制与诱导沿态射的单子adjunction，并应用这些函子到 affine代数群、量子群和Radford-Majid双积Hopf代数的例子中。

2024-02-15math.CTmath.QAmath.RT

Frobenius代数与Ambiobius映射

Frobenius algebras and ambidextrous adjunctions

本文解释了幺半范畴中的Frobenius对象与2-范畴中的映射之间的关系。特别地，我们证明了幺半范畴M中的每个Frobenius对象都是由M完全忠实地嵌入的某个2-范畴D中的一个混合点（同时左伴随和右伴随）产生的.由于二维拓扑量子场论等价于交换Frobenius代数，这一结果还表明，每个二维TQFT都是从某个2-范畴中的一个Ambijunction得到的。本文将伴随单子理论推广到任意2-范畴的情形，并利用Eilenberg-Moore对象下的自由完备化证明了这一定理。然后，我们通过用半严格monoidal 2-范畴M代替幺半范畴M，并用半严格3-范畴代替它嵌入的2-范畴D来对这个定理进行分类。为了陈述这个更强大的结果，我们必须首先定义“Frobenius pseudomonoid”的概念，它对Frobenius对象进行分类。然后，我们定义了一个“伪ambijunctions”的概念，分类的ambijunctions。在每一种情况下，我们的想法是，所有的通常公理现在只适用于连贯同构。最后，我们证明了半严格monoidal 2-范畴中的每一个Frobenius pseudomerius都是由半严格3-范畴中的一个pseudo ambijunction产生的。

2006-01-19math.CTmath.QA