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

identity exists, void -> void

→