What does the classifying space of a category classify?

From MaRDI portal
Publication:2575114





Let \({\mathcal C}\) be a small category. A \({\mathcal C}\)-set is a contravariant functor from \({\mathcal C}\) to the category of sets. A \({\mathcal C}\)-set is called representable if it is isomorphic to \(b\mapsto \text{ mor}_{\mathcal C}(b,c)\) for fixed \(c\in {\mathcal C}\). In the paper under review, the author proves that the classifying space \(B{\mathcal C}\) classifies sheaves of \({\mathcal C}\)-sets with representable stalks. The proof uses the construction of a canonical sheaf of \({\mathcal C}\)-sets on \(B{\mathcal C}\).











This page was built for publication: What does the classifying space of a category classify?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2575114)