generated at
2/18/2025, 5:38:34 PM
始対象
initial object
coterminal object
\operatorname{init} C
終対象