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

initial object = for every point in a category there is one and only one arrow from the initial object to the point

→