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

two terminal objects are always have a uniquely ismorphic = only one way to isomorph between the two

→