Definify.com

Definition 2024

global_element

global element

English

Noun

global element ‎(plural global elements)

(category theory) A morphism from the terminal object to a given object (to which it is said to belong).