# nLab flexible 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 flexible magmoid should be the oidification of a flexible magma.

## Definition

A flexible magmoid is a magmoid $Q$ such that for every two objects $a,b \in Ob(Q)$ and for every two morphisms $f:a \to b$ and $g:b \to a$,

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

## Examples

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