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" →
#
>

nothing can return void

→