英和和英

名詞

terminal object (plural terminal objects)

1. (category theory) An object within a category which receives arrows from all other objects in that category, and such that each of these arrows is unique.

   In the category of sets, a terminal object is any singleton, since there exists a unique function, namely the constant function, from any given set into that singleton.

   The terminal object is the limit over the empty diagram.

同意語

• final object

反意語

• initial object

上位語

• limit

下位語

• null object = zero object