Sekirov Dictionary

global element

noun1

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

forms

global elements

This dictionary works without the internet: on your phone · in Chrome