Wiki. “叠” [叠]

叠是景上取值于 2-范畴 $\mathsf {Grpd}$ 的 2-层.

叠 (微分叠) 可视为广义群胚 (Lie 群胚), 正如层 (广义微分结构) 可视为广义空间 (流形).

例

$BG$ 作为叠是一个函子 $\mathsf {Mfd}^{\text{op}}\to\mathsf {Grpd}$, 将流形 $U$ 对应到 $U$ 上的 $G$-主丛, 将态射 $U\to V$ 对应到主丛的拉回.