arXiv 2203.057512022-03-11math.CT

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

Mamta Balodi, Abhishek Banerjee, Anita Naolekar

英文摘要：

Recently, Dotsenko and Tamaroff have shown that a morphism of $T\longrightarrow S$ of monads over a category $\mathscr C$ satisfies the PBW-property if and only if it makes $S$ into a free right $T$-module. We consider an adjunction $Ψ=(G,F)$ between categories $\mathscr C$, $\mathscr D$, a monad $S$ on $\mathscr C$ and a monad $T$ on $\mathscr D$. We show that a morphism $ϕ:(\mathscr C,S)\longrightarrow (\mathscr D,T)$ that is well behaved with respect to the adjunction $Ψ$ has a PBW-property if and only if it makes $S$ satisfy a certain freeness condition with respect to $T$-modules with values in $\mathscr C$.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

Applications of the Kleisli and Eilenberg-Moore 2-adjunctions

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

2017-05-31math.CT

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

The Eilenberg-Moore constructions and a Beck-type theorem for pairs of monads are described. More specifically, a notion of a {\em Morita context} comprising of two monads, two bialgebra functors and two connecting maps is introduced. It is shown that in many cases equivalences between categories of algebras are induced by such Morita contexts. The Eilenberg-Moore category of representations of a Morita context is constructed. This construction allows one to associate two pairs of adjoint functors with right adjoint functors having a common domain or a {\em double adjunction} to a Morita conte…

2009-09-22math.CT

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

In this article, the author analyses distributive and mixed distributive laws and some of their equivalences through the use of 2-adjunctions of the type $\Adj$-$\Mnd$. As far as the distributive laws are concerned, the equivalence between this structures and monads objects in the 2-category $\Adj_{\R}(Cat)$ is analysed, where these monad objects will correspond to liftings to the category of algebras of Eilenberg-Moore. Second, the equivalence between these structures and a pair consisting of a Eilenberg-Moore lifting and a Kleisli extension is analysed too, according to E. Manes and P. Mulry…

2017-06-08math.CT

Double Adjunctions and Free Monads

We characterize double adjunctions in terms of presheaves and universal squares, and then apply these characterizations to free monads and Eilenberg--Moore objects in double categories. We improve upon our earlier result in "Monads in Double Categories", JPAA 215:6, pages 1174-1197, 2011, to conclude: if a double category with cofolding admits the construction of free monads in its horizontal 2-category, then it also admits the construction of free monads as a double category. We also prove that a double category admits Eilenberg--Moore objects if and only if a certain parameterized presheaf i…

2011-12-20math.CT

Relating Operator Spaces via Adjunctions

This chapter uses categorical techniques to describe relations between various sets of operators on a Hilbert space, such as self-adjoint, positive, density, effect and projection operators. These relations, including various Hilbert-Schmidt isomorphisms of the form tr(A-), are expressed in terms of dual adjunctions, and maps between them. Of particular interest is the connection with quantum structures, via a dual adjunction between convex sets and effect modules. The approach systematically uses categories of modules, via their description as Eilenberg-Moore algebras of a monad.

2012-07-16cs.LOmath.CTquant-ph

Monoidal Adjunctions - Linearity and Duality

We explain two related constructions on the data of two monoidal symmetric closed categories $\mathscr{A}$ and $\mathscr{E}$ and monoidal functors $F: \mathscr{E}\to \mathscr{A}$ and $G: \mathscr{A}\to \mathscr{E}$. In a first part, we recall and partly extend work of A. Kock: In case $F$ is left-adjoint to $G$, and this adjunction is monoidal, we can equip the Eilenberg-Moore category $\mathscr{E}^T$ for $T$ being the canonical monad associated to the adjunction, with the structure of symmetric monoidal closed category, provided $\mathscr{E}$ has equalizers and $\mathscr{E}^T$ co-equalizers. …

2019-03-29math.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

通过点集模型统一Koszul对偶性

Unifying Koszul dualities via point-set models

Stockholm University（斯德哥尔摩大学）；Université Paris Cité and Sorbonne Université, CNRS, IMJ-PRG（巴黎西岱大学和索邦大学，法国国家科学研究中心，IMJ-PRG）；Université d’Angers（昂热大学）

本文通过点集模型构建了一个统一的框架，将经典链级构造与更高范畴的构造联系起来，恢复了Lurie的bar-cobar对偶性，并解释了与Francis-Gaitsgory和Heuts的构造的关系。

2026-03-31math.ATmath.CTmath.QA

Monads need not be endofunctors

We introduce a generalization of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vector spaces, untyped and typed lambda-calculus syntax and indexed containers. We show that the Kleisli and Eilenberg-Moore constructions carry over to relative monads and are related to relative adjunctions. Under reasonable assumptions, relative monads are monoids in the functor category concerned and extend to monads, giving rise to a coreflection between relative monads and monads. Arrows are also an instance of relative monads…

2015-03-04cs.LOcs.PLmath.CT

A note on triangulated monads and categories of module spectra

Consider a monad on an idempotent complete triangulated category with the property that its Eilenberg-Moore category of modules inherits a triangulation. We show that any other triangulated adjunction realizing this monad is 'essentially monadic', i.e. becomes monadic after performing the two evident necessary operations of taking the Verdier quotient by the kernel of the right adjoint and idempotent completion. In this sense, the monad itself is 'intrinsically monadic'. It follows that for any highly structured ring spectrum, its category of homotopy (a.k.a. naive) modules is triangulated if …

2018-08-01math.ATmath.CT

The Way of the Dagger

A dagger category is a category equipped with a functorial way of reversing morphisms, i.e. a contravariant involutive identity-on-objects endofunctor. Dagger categories with additional structure have been studied under different names e.g. in categorical quantum mechanics and algebraic field theory. In this thesis we study the dagger in its own right and show how basic category theory adapts to dagger categories. We develop a notion of a dagger limit that we show is suitable in the following ways: it subsumes special cases known from the literature; dagger limits are unique up to unitary isom…

2019-04-24math.CT

Comonadic base change for enriched categories

For our concepts of change of base and comonadicity, we work in the general context of the tricategory $\mathrm{Caten}$ whose objects are bicategories $\mathscr{V}$ and whose morphisms are categories enriched on two sides. For example, for any monoidal comonad $G$ on a cocomplete closed monoidal category $\mathscr{C}$, the forgetful functor $U : \mathscr{C}^G\to \mathscr{C}$ is comonadic when regarded as a morphism in $\mathrm{Caten}$ between one-object bicategories. We show that the forgetful pseudofunctor $\mathscr{U}:\mathscr{V}^\mathscr{G}\rightarrow \mathscr{V}$ from the bicategory of Eil…

2021-12-09math.CT

带结构的$(\n\infty, 1)$-范畴及其松弛态射的极限

Limits of $(\infty, 1)$-categories with structure and their lax morphisms

本研究将Riehl与Verity关于准范畴Eilenberg-Moore对象保极限的结果推广到多类带结构的$(\n\infty,1)$-范畴模型，证明仅需图中一个态射保结构时就存在含插入子、等化子的松弛态射极限，给出了这类极限存在的最小条件与清晰解释。

2025-05-21math.ATmath.CT

单调子的石对偶性

Stone Duality for Monads

Imperial College London（帝国理工学院）；Macquarie University（麦考瑞大学）

本文研究了单调子的石对偶性，通过构造一个反变的幂等伴随，将有等级的单调子范畴与内部范畴和内部反函子范畴联系起来，揭示了单调子的行为范畴与局部范畴之间的对应关系。

2026-10-12cs.LOcs.PLmath.CT