An equivalent definition would be to define a category as a quintuple (\text{Ob}, ... Given a small category \mathcal{C} the category of functors from ...
確定! 回上一頁