Wiki. 叠 [叠]SimplicialCat 观念 叠是景上取值于高阶范畴的层, 也即高阶意象的对象. 例 对于 Lie 群 $G$ 有一个叠 $\mathbf{B}G$, 它是一个函子 $\mathsf {Mfd}^{\text{op}}\to\mathsf {Grpd}$, 将流形 $U$ 对应到 $U$ 上的 $G$-主丛的群胚, 将态射 $U\to V$ 对应到主丛的拉回.