Bartosz Milewski Category Theory Lectures → 3.1 Examples of categories, orders, monoids → Typing → Types in a [[Monoid]] #card #bidirectional →