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” → terminal object = from every point in a category, there is one and only one arrow to the… →