圏のなかの「すごく特別な対象」として始対象と終対象がある（init, termと略称する）。モノイド圏だと単位対象もすごく特別（unitと略称）。これらの特別な対象は一意に決まるとは限らないが、一個だけ選択〈select | choice | distinguish〉して、the init…