symmetric monoidal (∞,1)-category of spectra
categorification
Just as a groupoid is the oidification of a group and a ringoid is the oidification of a ring, an associative quasigroupoid should be the oidification of an associative quasigroup.
An associative quasigroupoid is a magmoid $Q$ such that for every diagram
for every span
in $Q$, there exists morphisms $i:x\to y$ and $j:y \to x$ such that $i \circ f = g$ and $j \circ g = f$, and for every cospan
in $Q$, there exists morphisms $d:a\to b$ and $e:b \to a$ such that $g \circ d = f$ and $f \circ e = g$.
Every groupoid is an associative quasigroupoid.
A one-object associative quasigroupoid is an associative quasigroup.
An associative quasigroupoid enriched in truth values is an equivalence relation.
Last revised on May 23, 2021 at 19:19:34. See the history of this page for a list of all contributions to it.