All Questions

The classifying space $BS^1$ for $S^1$-bundles can be taken to be the colimit of $\mathbb{CP}^n$ which are smooth manifolds and the inclusions $\mathbb{CP}^n \hookrightarrow \mathbb{CP}^{n+1}$ are ...

The starting point of my question is the following fact: suppose $G$ is a finite group and let $H,K \leq G$ be arbitrary subgroups, then there exists an isomorphism of $G$-sets as follows \begin{...