Bartosz Milewski Category Theory Lectures → 3.1 Examples of categories, orders, monoids → [[Monoid]] #card #bidirectional →
#
>

Known as a sort of “pre-group” in group theory

→