Functional Notes →

Ideas from [[category theory]]

 → from [[Bartosz Milewski Category Theory Lectures]] → exploring Universal Constructions → unit = terminal object = () = in [[SET Category]], set with one element = in logic, proving "true" →
#
>

you can return a unit from anything, a -> ()

→