1. Definition ... Definition 1.1. An initial object in a category 𝒞 is an object ∅ such that for all objects x∈𝒞, there is a unique morphism ...
確定! 回上一頁