On the commutative algebra of categories

DOI10.2140/AGT.2018.18.2963MaRDI QIDQ1673645zbMATH OpenOpenAlexFDO

Authors John D. Berman

Publication date 12 September 2018

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1606.05606

zbMATH Keywords

higher algebraLawvere theoryoperad

Mathematics Subject Classification ID

Module categories and commutative rings (13C60) Theories (e.g., algebraic theories), structure, and semantics (18C10) Symmetric monoidal categories (19D23) Topological categories, foundations of homotopy theory (55U40)

Abstract: We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be recovered in this way as categories of modules over a commutative semiring category (or $infty$-category in the last case). This language provides a simultaneous generalization of the formalism of algebraic theories (operads, PROPs, Lawvere theories) and stable homotopy theory, with essentially a variant of algebraic K-theory bridging between the two.

Review text

The author, using Lurie's \(\infty\)-categorical machinery, works to develop a unified theory of modules over `commutative semiring \(\infty\)-categories'. As specific examples, he reconstructs the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra as categories of modules over a commutative semiring (\(\infty\)-)category. The proof uses some nice results on presentable \(\infty\)-categories that are not just citations out of HTT, and are interesting to examine in their own right. This paper would be of interest to anyone exploring (higher) categorification of their field of algebraic or homotopic interest.

Recommendations

• Algebras and Modules in Monoidal Model Categories
• Commutativity
• Rings, modules, and algebras in infinite loop space theory
• \(G\)-symmetric monoidal categories of modules over equivariant commutative ring spectra
• Model structures on commutative monoids in general model categories

Cites work

• An inverse \(K\)-theory functor
• Categories and cohomology theories
• Derived Mackey functors
• Enriched -categories via non-symmetric -operads
• Higher Topos Theory (AM-170)
• scientific article; zbMATH DE number 949383 (Why is no real title available?)
• scientific article; zbMATH DE number 3385867 (Why is no real title available?)
• HZ -algebra spectra are differential graded algebras
• On solid and rigid monoids in monoidal categories
• Some algebraic problems in the context of functorial semantics of algebraic theories
• Spectral Mackey functors and equivariant algebraic \(K\)-theory. I.
• Stable bundles over rig categories
• Systems of Fixed Point Sets
• The core of a ring
• The fundamental pro-groupoid of an affine 2-scheme
• Universality of multiplicative infinite loop space machines
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné

Cited in

(16)

• On the canonical algebraic structure of a category
• On root categories of finite-dimensional algebras
• Higher Lawvere theories
• Determinants over graded-commutative algebras, a categorical viewpoint
• On algebras over multicategories
• Ring completion of rig categories
• On quasi-categories of comodules and Landweber exactness
• An introduction to higher categorical algebra
• Relaxed multicategory structure of a global category of rings and modules
• On the Category of EQ-algebras
• On bialgebras, comodules, descent data and Thom spectra in -categories
• Additive closed symmetric monoidal structures on \(R\)-modules
• From nonabelian basechange to basechange with coefficients
• Commutative algebras in Fibonacci categories
• Characterizing categories of algebras
• Commutativity

This page was built for publication: On the commutative algebra of categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1673645)