Functional Notes →

Ideas from [[Category Theory]]

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

bool = in SET Category, set with two elements

→