symmetric monoidal (∞,1)-category of spectra
An ordered Artinian local ring is a local ring which is both an ordered local ring and an Artinian local ring: a commutative ring $R$ with a strict weak order $\lt$ such that the positive elements form a multiplicative subset of $R$, the sum of two positive elements is positive, every element $a \in R$ is invertible if and only if it is positive or negative, and the set of non-invertible elements forms a nilradical.
Last revised on December 25, 2023 at 22:35:30. See the history of this page for a list of all contributions to it.