Functional Notes →

Ideas from [[category theory]]

 → from [[Bartosz Milewski Category Theory Lectures]] → exploring Universal Constructions → void = initial object = in [[SET Category]], empty set = in logic, proving “false” →
#
>

anything that takes in a void can return any type, void -> a

→