symmetric monoidal (∞,1)-category of spectra
A totally ordered abelian group is an ordered abelian group whose order forms a total order.
The following definition is from Peter Freyd:
A totally ordered abelian group is an pseudolattice ordered abelian group such that for all elements in , or .
In a totally ordered abelian group, the join is usually called the maximum, while the meet is usually called the minimum
The integers, the rational numbers, and the real numbers are totally ordered abelian groups.
Created on June 18, 2021 at 21:46:10. See the history of this page for a list of all contributions to it.