On the commutative algebra of categories (Q1673645)

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.