Last Updated: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.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories(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.