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