終對象
terminal object。final object
$ 1
始対象と終対象 - Wikipedia
terminal object in nLab
$ \forall X_{\in|{\bf C}|}\exist!f_{\in{\rm Hom}({\bf C})}(f:X\to 1)
.
圈論的雙對
は
始對象