始対象
initial object
coterminal object
$ \operatorname{init} C
dual.icon
終対象