The category of sets has arbitrary colimits. Proof. Given a diagram D of sets with objects Xα and morphisms f : Xα → Xβ, the colimit or direct limit is the ...
確定! 回上一頁