# nLab alternative magmoid

Contents

category theory

## Applications

#### Algebra

higher algebra

universal algebra

categorification

# Contents

## Idea

Just as a groupoid is the oidification of a group and a ringoid is the oidification of a ring, an alternative magmoid should be the oidification of a alternative magma.

## Definition

An alternative magmoid is a magmoid $Q$ such that for every two objects $a,b \in Ob(Q)$ and for every morphism $f:a \to b$ and endomorphisms $g:a \to a$ and $h:b \to b$,

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

and

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

## Examples

Last revised on May 23, 2021 at 11:05:39. See the history of this page for a list of all contributions to it.