symmetric monoidal (∞,1)-category of spectra
A quasigroup with a two-sided inverse
An invertible quasigroup is a quasigroup with a unary operation called the inverse such that
for all .
An invertible quasigroup is a magma with a unary operation called the inverse such that
and
for all .
Every group is an invertible quasigroup.
Every associative quasigroup and nonassociative group is an invertible quasigroup.
quasigroup (noninvertible version)
nonassociative group (unital version)
commutative invertible quasigroup (commutative version)
associative quasigroup (associative version)
invertible magma (nondivisible version)
Last revised on June 14, 2021 at 14:58:17. See the history of this page for a list of all contributions to it.