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 a lattice-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.
totally preordered abelian group?
Last revised on February 23, 2024 at 19:54:44. See the history of this page for a list of all contributions to it.