e/Global element

Information
has gloss	eng: In category theory, a global element of an object A from a is a morphism : h : 1 → A, where 1 is a terminal object of the category. Roughly speaking, global elements are a generalization of the notion of “elements” from the category of sets, and they can be used to import set-theoretic concepts into category theory. However, unlike a set, an object of a general category need not be determined by its global elements (not even up to isomorphism).
lexicalization	eng: global element
instance of	c/Objects (category theory)