In a set (a 0-category), equivalence is just equality. · In a category (a 1-category), an equivalence is an isomorphism. · In a (possibly weak) 2- ...
確定! 回上一頁