2020-08-29から1日間の記事一覧
第6回 積 余積 極限 第6回圏論勉強会@ワークスアプリケーションズ 終対象: その対象に対して、すべての対象から向かう射が唯一存在すること。 同型を除いて一つに定まる。証明:2つの終対象A, Bがある場合、定義より以下の図式が成り立つ。 $$\xymatrix{ A \…
第6回 積 余積 極限 第6回圏論勉強会@ワークスアプリケーションズ 終対象: その対象に対して、すべての対象から向かう射が唯一存在すること。 同型を除いて一つに定まる。証明:2つの終対象A, Bがある場合、定義より以下の図式が成り立つ。 $$\xymatrix{ A \…