symmetric monoidal (∞,1)-category of spectra
A protoring is a commutative monoid with a strict linear order such that
if and only if .
The commutative subsemigroup of strictly positive elements form a semiring .
if and only if and .
Created on May 12, 2022 at 08:04:36. See the history of this page for a list of all contributions to it.