始對象
initial object
始対象と終対象 - Wikipedia
initial object in nLab
圈論的雙對
は
終對象