symmetric monoidal (∞,1)-category of spectra
Every algebraic category (in just about any sense of the term) has a terminal object which is usually called the trivial algebra, often denoted $0$ or $1$. Its underlying set is a singleton, and every algebraic operation $1^n \to 1$ is the unique function to the singleton set.
Last revised on March 17, 2023 at 15:16:00. See the history of this page for a list of all contributions to it.