Scholarlink

<p>Let <i>b</i>, <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(b'\)</EquationSource> </InlineEquation> be commutative monoids in a Bénabou cosmos. Motivated by six-functor formalisms in algebraic geometry, we prove that the category of commutative monoids over <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(b\otimes b'\)</EquationSource> </InlineEquation> is equivalent to the category of cocontinuous lax monoidal enriched functors between the monoidal enriched categories of right modules over <i>b</i>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(b'\)</EquationSource> </InlineEquation>.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Tensor Enriched Categorical Generalization of the Eilenberg-Watts Theorem

  • 期刊论文

  • 发表日期：

    2025年10月10日

查看全文
  • Jaehyeok Lee

摘要

Let b, \(b'\) be commutative monoids in a Bénabou cosmos. Motivated by six-functor formalisms in algebraic geometry, we prove that the category of commutative monoids over \(b\otimes b'\) is equivalent to the category of cocontinuous lax monoidal enriched functors between the monoidal enriched categories of right modules over b, \(b'\) .