语言
没有数据
通知
无通知
※一※ (名)
的に一意である。具体的には、I1 と I2 が2つの異なる始対象であれば、それらの間に唯一の同型が存在する。さらに、I が始対象であれば、I に同型な任意の対象はまた始対象である。同様のことは終対象に対しても正しい。 完備圏に対しては始対象の存在定理が存在する。具体的には、(局所的に小さい完備圏
あらため始めること。
(1)年の初め。 年頭。
〔数〕 有向線分またはベクトル AB における点 A のこと。
(1)動き始めること。 動かし始めること。
(1)物事のはじまる時期。