notion结构, 性质 [结构]SimplicialCat 当我们说一个东西是结构而非性质时, 我们说的是它属于一个有高阶 ($0$ 阶及以上) 同伦信息的类型. 说一个东西是性质即是说它属于一个 $(-1)$-截断类型.