symmetric monoidal (∞,1)-category of spectra
The idea of a cancellative midpoint algebra comes from Peter Freyd.
A cancellative midpoint algebra is a midpoint algebra $(M,\vert)$ that satisfies the cancellative property:
The rational numbers, real numbers, and the complex numbers with $a \vert b \coloneqq \frac{a + b}{2}$ are examples of cancellative midpoint algebras.
The trivial group with $a \vert b = a \cdot b$ is a cancellative midpoint algebra.
Last revised on June 1, 2021 at 14:30:09. See the history of this page for a list of all contributions to it.