symmetric monoidal (∞,1)-category of spectra
A closed midpoint algebra is a cancellative midpoint algebra equipped with a pair of elements .
In other words, it is a bi-pointed cancellative midpoint algebra.
This Def. may be gleaned from the second half of footnote 28 of Freyd 2008, where it is described as a fragment of the definition of “scale” given in Section 2 there.
The initial object among closed midpoint algebras (Def. ) is the unit interval in the dyadic rational numbers.
Last revised on May 27, 2026 at 09:34:28. See the history of this page for a list of all contributions to it.