Just as before, a category C can be thought of as an (∞,1)-category where all higher cells are trivial, and in this case HoC=C, so given an (∞ ...
確定! 回上一頁