[[Monoid]] #card #bidirectional
Types in a [[Monoid]] #card #bidirectional
Category with one object
Terminal object in Category of Categories