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