2023/02/21 by Jaehyeok Lee, Lee, Jaehyeok
Computer Science · Mathematics · #Category Theory (math.CT) #Commutative Algebra (math.AC) #Data Management and Algorithms #FOS: Mathematics #Rings and Algebras (math.RA) #Rough Sets and Fuzzy Logic #Tensor decomposition and applications
paper · pdf · doi:10.48550/arxiv.2302.11001
openalex publication_date 2023/02/21 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01
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⊗ b' is equivalent to the category of cocontinuous lax monoidal enriched functors between the monoidal enriched categories of right modules over b, b'.