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" → can use unit to define the element of a set, one :: () -> int, two :: () -> int →