Corollary 9.2.15. The underlying anima of the Grassmannian \(\Gr _k(\C ^{\infty })\) is isomorphic to the classifying anima \(\bB U(k)\).
Proof. In light of Lemma 9.2.12 and Lemma 9.2.14, this is an instance of Proposition 9.2.11. □
Generated from the authoritative LaTeX source.