首页/论文/2003.12514

arXiv 2003.125142020-03-27math.CTmath.QAmath.RT

Module Eilenberg-Watts calculus

Jürgen Fuchs, Gregor Schaumann, Christoph Schweigert

备注：: 21 pages

英文摘要：

The categorical formulation of the Eilenberg-Watts calculus relates, for any pair of finite categories M and N, the finite categories Fun^{le}(N,M) and Fun^{re}(N,M) of linear left or right exact functors and the Deligne product \bar N \boxtimes M by adjoint equivalences. We establish a variant of this calculus for the case that the finite categories M and N are module categories over a finite tensor category. This provides in particular canonical and explicitly computable equivalences between categories of left or right exact module functors (or, more generally, balanced functors) and certain twisted centers of bimodule categories.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

Eilenberg-Watts calculus for finite categories and a bimodule Radford $S^4$ theorem

We obtain Morita invariant versions of Eilenberg-Watts type theorems, relating Deligne products of finite linear categories to categories of left exact as well as of right exact functors. This makes it possible to switch between different functor categories as well as Deligne products, which is often very convenient. For instance, we can show that applying the equivalence from left exact to right exact functors to the identity functor, regarded as a left exact functor, gives a Nakayama functor. The equivalences of categories we exhibit are compatible with the structure of module categories ove…

2019-11-14math.CTmath.QAmath.RA

Eilenberg-Watts定理的张量丰富范畴推广

Tensor Enriched Categorical Generalization of the Eilenberg-Watts Theorem

本文在Bénabou宇宙中推广Eilenberg-Watts定理，证明交换幺半群范畴与余连续lax幺半丰富函子范畴的等价性，受六函子形式主义启发。

2025-10-17math.ACmath.CTmath.RA

Internal Coalgebras in Cocomplete Categories: Generalizing the Eilenberg-Watts-Theorem

The category of internal coalgebras in a cocomplete category $\mathcal{C}$ with respect to a variety $\mathcal{V}$ is equivalent to the category of left adjoint functors from $\mathcal{V}$ into $\mathcal{C}$. This can be seen best when considering such coalgebras as finite coproduct preserving functors from $\mathcal{T}_\mathcal{V}^\mathsf{op}$, the dual of the Lawvere theory of $\mathcal{V}$, into $\mathcal{C}$: coalgebras are restrictions of left adjoints and any such left adjoint is the left Kan extension of a coalgebra along the embedding of $\mathcal{T}_\mathcal{V}^\mathsf{op}$ into $\mat…

2020-03-18math.CT

局部紧量子群的等变 Eilenberg-Watts 定理

Equivariant Eilenberg-Watts theorems for locally compact quantum groups

本文通过引入局部紧量子群的作用，利用模范畴语言给出了$W^*$-代数 Eilenberg-Watts 定理的等变版本，并将幺正 Drinfeld double 表示范畴同构于 Drinfeld center 的结果从紧致推广至局部紧情形。

2025-11-05math.CTmath.OAmath.QA

同伦代数中的Eilenberg-Watts定理

The Eilenberg-Watts theorem in homotopical algebra

本文的目的是证明同伦理论的标准范畴，如拓扑空间，单纯集，阿贝尔群的链复形，以及任何一种好的谱模型，都是同伦自包含的。这个陈述的左半部分实质上意味着，任何看起来可能是与固定对象的张量积（或积，或smash积）的函子，实际上是这样一个张量积，直到同伦。右半部分说的是任何看起来像是可以从一个固定的对象中自由移动的函子，都是如此，直到同伦。更精确地说，假设我们有一个闭对称幺半范畴范畴（分别是）。Quillen模型范畴）M.则将A带到A张量B的函子T_{B}是M-函子和左伴随。如果B是E-E '-双模也是如此，其中E和E'是M中的幺半群，并且T_{B}取E-模A到A张量，其中B在E上。定义一个闭对称幺半范畴（分别为模型类别）保持独立（分别同伦左自包含）如果每个从E-模到E '-模的函子F是M-函子且是左伴随（分别是和左Quillen函子）是自然同构的（分别为）。自然弱等价）到T_{B}。代数中经典的艾伦伯格-瓦茨定理只是说阿贝尔群的范畴是左自包含的，所以我们推广了这个定理。

2009-10-21math.ATmath.CT

$C^*$-范畴上的Hilbert模

Hilbert modules over $C^*$-categories

本文证明了$C^*$-范畴上Hilbert模的Eilenberg-Watts定理，通过imprimitivity双模张量积刻画了等价性，并应用于证明双范畴等价与Morita局部化。

2023-11-27math.CTmath.KTmath.OA

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

P^1-Speck-双模的一个结构定理

A structure theorem for P^1-Spec k-bimodules

设k是一个代数闭域。利用概型上的Eilenberg-Watts定理，我们确定了从P^1_k上的拟凝聚层范畴到k上的向量空间范畴的k-线性右正合直极限和保凝聚函子的结构.因此，我们刻画了那些函子是积分变换。

2011-11-10math.AGmath.CT

On functors between categories of modules over trusses

Categorical aspects of the theory of modules over trusses are studied. Tensor product of modules over trusses is defined and its existence established. In particular, it is shown that bimodules over trusses form a monoidal category. Truss versions of the Eilenberg-Watts theorem and Morita equivalence are formulated. Projective and small-projective modules over trusses are defined and their properties studied.

2022-03-30math.CTmath.RA

(Co)ends for representations of tensor categories

We generalize the notion of ends and coends in category theory to the realm of module categories over finite tensor categories. We call this new concept "module (co)end". This tool allows us to give different proofs to several known results in the theory of representations of finite tensor categories. As a new application, we present a description of the relative Serre functor for module categories in terms of a module coend, in a analogous way as a Morita invariant description of the Nakayama functor of abelian categories presented in [J. Fuchs, G. Schaumann and C. Schweigert, Eilenberg-Watts…

2021-02-16math.CTmath.QA

Enrichment and representability for triangulated categories

Given a fixed tensor triangulated category S we consider triangulated categories T together with an S-enrichment which is compatible with the triangulated structure of T. It is shown that, in this setting, an enriched analogue of Brown representability holds when both S and T are compactly generated. A natural class of examples of such enriched triangulated categories categories are module categories over separable monoids in S. In this context we prove a version of the Eilenberg-Watts theorem for exact coproduct and copower preserving S-functors, i.e., we show that any such functor between th…

2016-04-04math.CT

切触范畴中的嘉当演算

Cartan calculus in tangent categories

Max-Planck-Institut für Mathematik（马克斯·普朗克数学研究所）

研究切触范畴中构建嘉当演算所需结构，核心是由交换环对象$R$进行标量乘法，使切丛成$R -$模。在此基础上向量场李代数满足相关法则，各对象有李 - 莱因哈特形式的嘉当演算，还给出多种示例范畴。

2026-07-14math.CTmath.DG

无限与非刚性情形下模范畴的重构

Reconstruction of module categories in the infinite and non-rigid settings

本研究扩展了模范畴重构理论，通过拟有限余代数对象和松弛模单子，实现无限与非刚性情形下模范畴的重构，并给出具体形式、相关定理及范畴证明。

2024-11-27math.CTmath.QAmath.RT

Deductive Systems and Coherence for Skew Prounital Closed Categories

In this paper, we develop the proof theory of skew prounital closed categories. These are variants of the skew closed categories of Street where the unit is not represented. Skew closed categories in turn are a weakening of the closed categories of Eilenberg and Kelly where no structural law is required to be invertible. The presence of a monoidal structure in these categories is not required. We construct several equivalent presentations of the free skew prounital closed category on a given set of generating objects: a categorical calculus (Hilbert-style system), a cut-free sequent calculus a…

2021-01-11cs.LOmath.CT

Categorified algebra and equivariant homotopy theory

This dissertation comprises three collections of results, all united by a common theme. The theme is the study of categories via algebraic techniques, considering categories themselves as algebraic objects. This algebraic approach to category theory is central to noncommutative algebraic geometry, as realized by recent advances in the study of noncommutative motives. We have success proving algebraic results in the general setting of symmetric monoidal and semiring $\infty$-categories, which categorify abelian groups and rings, respectively. For example, we prove that modules over the semiring…

2018-05-22math.AGmath.ATmath.CT

单纯下降范畴

Simplicial Descent Categories

链复形和拓扑空间范畴的许多同伦和同调结构可以从“简单”函子Tot的存在性和性质推导出来：{双链复形} -> {链复形}和几何实现：{sSets} -> {Top}，或者类似地，Tot：{单纯链复形} -> {链复形}和||：{sTop} -> {Top}。这篇论文的目的是抽象这种情况，为此我们引入了“（上）单纯下降范畴”的概念。它的灵感来自吉伦-纳瓦罗的“（立方）血统类别”。（上）单纯下降范畴D中的关键成分是D中的态射类E，称为等价，以及一个“单纯”函子s：{D中的（上）单纯对象} -> D。它们必须满足像“Eilenberg-Zilber”、“精确性”和“非循环性”这样的公理。这一概念涵盖了广泛的一类例子，如链复形，sSet，拓扑空间，过滤上链复形（其中E =过滤拟同构或E = E_2-同构），交换微分分次代数（其中s = Navarro的N-Whitney单），DG-范畴上的DG-模和混合Hodge复形，其中s = Deligne的单。从单纯下降结构，我们得到同伦结构的D，作为锥和柱体对象。我们使用它们来i）明确地描述HoD=D[E^{-1}]的态射，类似于分数微积分的情况; ii）赋予HoD一个非可加的预三角化结构，在稳定的可加情况下变成三角化。这些结果使用了一个“全函子”的属性，它将任何双增广双单纯对象与单纯对象联系起来。它是一个二重复形的全链复形的单纯模拟，并且它是Ill…

2008-04-14math.AGmath.CT