Bartosz Milewski Category Theory Lectures → 3.1 Examples of categories, orders, monoids → [[Monoid]] #card #bidirectional → Monoid in [[Set Theory]] #card #bidirectional → some operation for that set →
#
>

has to be defined for all elements of the set

→