最終更新日：2022/12/24
LEMMA 16.3 An arrow f:A→B is epic iff 1_B is the smallest sub-object of B that f factors through.
編集履歴（0）
LEMMA 16.3 An arrow f:A→B is epic iff 1_B is the smallest sub-object of B that f factors through.
DiQt（ディクト）
無料
★★★★★★★★★★
