Wiki. “拉直” [拉直]
Wiki. “拉直” [拉直]
Lurie
$G$-主丛 $V \to X$ 与 $X \to BG$ 的对应是一种拉直–还原. 将映射 $X\to BG$ 理解为 $X$ 到拓扑空间范畴的函子, 那么其拉直即为 $V \to X$. (来自单纯群网友)
Lurie
$G$-主丛 $V \to X$ 与 $X \to BG$ 的对应是一种拉直–还原. 将映射 $X\to BG$ 理解为 $X$ 到拓扑空间范畴的函子, 那么其拉直即为 $V \to X$. (来自单纯群网友)