An object x of the category \mathcal{C} is called an initial object if for every object y of \mathcal{C} there is exactly one morphism x \to y.
確定! 回上一頁