Wiki. “∞-向量丛” [∞-向量丛]

设 $K$ 为交换环 (E∞-环), $A$ 为 $K$-代数.

将空间等同于 (∞-) 群胚, 那么空间 $X$ 上的 $A$-模丛就是函子 $X \to A\mathrm {Mod}$.