Functional Notes →

Ideas from [[category theory]]

 → from [[Bartosz Milewski Category Theory Lectures]] → exploring Universal Constructions →
#
>

bool = in set category, set with two elements

→