終対象
terminal object
final object
$ \operatorname{term} C
$ \forall c:C, \exist!\: !_c: c→\operatorname{term} C
dual.icon
始対象
reference.icon
terminal object in nLab
reference.icon
始対象と終対象 - Wikipedia