symmetric monoidal (∞,1)-category of spectra
Traditionally, in classical mathematics, an ordered ring is a totally ordered ring. However, in constructive mathematics, due to the failure of excluded middle, there are multiple notions of order which are not necessarily equivalent to the notion of total order but which in the presence of excluded middle are equivalent to the notion of total order, and thus, there are multiple notions of ordered rings. There are also more general notions of ordered rings, where the order is a preorder, a partial order, a lattice, a pseudo-order, or a strict preorder.
Last revised on February 23, 2024 at 19:54:05. See the history of this page for a list of all contributions to it.