ιn: ≤n → defines a functor ι∗n : sSets → s≤n Sets, where s≤nSets denotes the functor category Fun( then the left adjoint to ι∗n. o≤n ,Sets).
確定! 回上一頁