用户: Jin1/Atiyah Lie 群胚

定义 0.1 (Atiyah Lie 群胚). 设 $G$ 是群. 对于 $G$-主丛 $P\to X$, 定义其对应的 Atiyah Lie 群胚 $\mathrm{At}(P)$ 是以 $P\to X$ 的纤维为对象, 以纤维间的 $G$-等变映射为态射的 Lie 群胚.