始対象と終対象
始対象または終対象 I の自己準同型モノイドは自明である。 End(I) = Hom(I, I) = {idI}.
圏 C が零対象 0 をもてば、C の対象の任意のペア X と Y に対して、唯一の合成 X → 0 → Y は X から Y への零射である。