Given a small category \mathcal{C} the category of functors from \mathcal{C} ... A morphism \phi : x \to y is an isomorphism of the category \mathcal{C} if ...
確定! 回上一頁