[[Monoid]] #card #bidirectional
Types in a [[Monoid]] #card #bidirectional
category with one object
terminal object in category of categories