terminal object

英語（米国） (en-US) 英語（イギリス） (en-GB)

名詞

(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 one-point set is a terminal object, since for every set there exists exactly one function into it.

詳細

意味（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.

詳細

terminal objects （ plural ）