nLab associative quasigroupoid

Idea

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.

Definition

An associative quasigroupoid is a magmoid $Q$ such that for every diagram

$$a\underset{\quad f \quad}{\to}b\underset{\quad g \quad}{\to}c\underset{\quad h \quad}{\to}d \,,$$

$$h \circ (g \circ f) = (h \circ g) \circ f \,,$$

for every span

$$\array{ && s \\ & {}^{f}\swarrow && \searrow^{g} \\ x &&&& y }$$

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

$$\array{ && a &&&& b \\ & && {}_{f}\searrow & & \swarrow_g && \\ &&&& c &&&& }$$

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$.

Examples

• 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.

Related concepts

algebraic structure	oidification
magma	magmoid
pointed magma with an endofunction	setoid/Bishop set
unital magma	unital magmoid
quasigroup	quasigroupoid
loop	loopoid
semigroup	semicategory
monoid	category
anti-involutive monoid	dagger category
associative quasigroup	associative quasigroupoid
group	groupoid
flexible magma	flexible magmoid
alternative magma	alternative magmoid
absorption monoid	absorption category
cancellative monoid	cancellative category
rig	CMon-enriched category
nonunital ring	Ab-enriched semicategory
nonassociative ring	Ab-enriched unital magmoid
ring	ringoid
nonassociative algebra	linear magmoid
nonassociative unital algebra	unital linear magmoid
nonunital algebra	linear semicategory
associative unital algebra	linear category
C-star algebra	C-star category
differential algebra	differential algebroid
flexible algebra	flexible linear magmoid
alternative algebra	alternative linear magmoid
Lie algebra	Lie algebroid
monoidal poset	2-poset
strict monoidal groupoid?	strict (2,1)-category
strict 2-group	strict 2-groupoid
strict monoidal category	strict 2-category
monoidal groupoid	(2,1)-category
2-group	2-groupoid/bigroupoid
monoidal category	2-category/bicategory