終對象
terminal object。final object
$ 1
始対象と終対象 - Wikipedia
terminal object in nLab
對象
$ 1_{\in|{\bf C}|}
が
終對象
であるとは、全ての對象
$ \forall X_{\in|{\bf C}|}
に對して射
$ !\exist f:X\to 1
が一意に存在する事を謂ふ
$ \forall X_{\in|{\bf C}|}\exist!f_{\in{\rm Hom}_{\bf C}}(f:X\to 1)
圈論的雙對
は
始對象