#今日の圏論 #圏論ツイート

自分の理解の確認のために「終対象の普遍性」について書きました。

もしも終対象が存在すれば同型を除いて一意に定まる。