始対象と終対象
(零対象 から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/08/11 14:17 UTC 版)
数学の抽象的な分野である圏論において、圏 𝒞 の始対象(したいしょう、英: initial object, coterminal object)とは、𝒞 の任意の対象 X に対してちょうど一つの射 I → X が存在するような 𝒞 の対象 I のことを指す。圏 𝒞 の終対象(しゅうたいしょう、英: final object, terminal object)とは、始対象の双対概念であり、 𝒞 の任意の対象 X に対してちょうど一つの射 X → T が存在するような 𝒞 の対象 T のことを指す。
- 1 始対象と終対象とは
- 2 始対象と終対象の概要
- 3 参考文献
- 4 外部リンク
- 始対象と終対象のページへのリンク