終対象 - 雑多な感じ

終対象

terminal object

$ \operatorname{term} C

$ \forall c:C, \exist!\: !_c: c→\operatorname{term} C

dual.icon 始対象

Ref.icon terminal object in nLab

Ref.icon 始対象と終対象 - Wikipedia