Wiki. BTop_n [BTop_n]SimplicialCat $\mathsf{BTop}(n)$ 是 $n$ 维流形范畴 $\mathsf{Mfd}_n$ 中由一个对象 $\mathbb{R}^n$ 构成的全子范畴, 是