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