# nLab wild category

## Definition proposal

Synonym for semigroup with zero, i.e. with such element $0$ that for any $x$

$x\cdot 0=0\cdot x=0$x\cdot 0 = 0\cdot x = 0