initial object

noun

initial object

noun
1

Category theory, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences An object within a category which sends out arrows to all other objects in that category, and such that each of these arrows is unique.

  • In the category of sets, the initial object is the empty set, since there exists a unique function, namely the empty function, from the empty set into any other given set.
Antonyms
terminal object
Hyponyms
null object

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.