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

instead of talking about elements in category theory, we can talk about the function from unit

→