generated at
2/18/2025, 5:38:38 PM
終対象
terminal object
final object
\operatorname{term} C
\forall c:C, \exist!\: !_c: c→\operatorname{term} C
始対象
terminal object in nLab
始対象と終対象 - Wikipedia