零對象
empty bundle in nLab
始對象
且つ
終對象