symmetric monoidal (∞,1)-category of spectra
A Moufang loop is a set with a binary operation that is similar to that of a group, but does not require associativity. Making this precise is a little fiddly.
A Moufang loop is a set $Q$ with a binary operation $\cdot\colon Q\times Q \to Q$ (a magma) with two-sided unit $e$ such that left and right multiplication, $y\cdot -\colon Q \to Q$ and $-\cdot x\colon Q \to Q$ respectively, are isomorphisms (i.e. it is a unital quasigroup or loop) and such that the Moufang identities hold:
$(u v)(w u) = (u(v w))u) = u((v w)u)$
$((u v)u)w = u(v(u w))$
$((u v)w)v = u(v(w v))$
One may consider the weaker analogous structure without unit $e$, the Moufang quasigroup, but the Moufang identities, by a result of Kenneth Kunen imply that the quasigroup is a loop.
Every element in a Moufang loop has a multiplicative inverse; a priori there are only left and right inverses, but these coincide by the Moufang identities.
Since right and left multiplication give isomorphisms of the underlying set, one can ‘divide’ by any element of the Moufang loop, on the right or on the left (recall we are not assuming commutativity). Thus one can define a Moufang loop as a set together with a multiplication as above, together with right and left division operations $/, \backslash \colon Q\times Q \to Q$, again satisfying the Moufang identities. Thus Moufang loops are algebras for a Lawvere theory, and thus can be defined internal to any category with finite products.
Moufang loops are power-associative, in that any bracketing of a string consisting of copies of the same element multiply to a unique element. In fact, more is true, in that any two elements generate a genuine group; that is, Moufang loops are alternative.
Any group is a Moufang loop.
The non-zero octonions form a Moufang loop, as does the multiplicatively closed subset of octonions of norm 1 (which form the 7-sphere). The invertible elements in any alternative ring or alternative algebra form a Moufang loop.
The basis octonions, $1,e_1,\ldots,e_7$ and their additive inverses $-1,-e_1,\ldots,-e_7$ form a finite Moufang loop of order 16 (compare with the case of the quaternions, where the basis elements and their inverses form a group of order 8, the quaternion group $Q_8$).
There is a finite Moufang loop of order $2^{13}$ which John Conway used to construct the Monster group. This Moufang loop is a central extension by $\mathbb{Z}/2$ of the binary Golay code, an abelian group of order $2^{12}$, see (Hsu). This is a special case of a code loop, which is a specific sort of Moufang loop.
Related concepts in $n$Lab: quasigroup, Bol loop, composition algebra, identities of Bol-Moufang type
Wikipedia: Moufang loop
R. Moufang, Zur Struktur von Alternativkörpern, Math. Ann. 110 (1935) 416–430 (gdz)
Tim Hsu, Explicit constructions of code loops as centrally twisted products, Math. Proc. Cambridge Philos. Soc. 128 (2000), no. 2, 223–232 (journal or preprint)