Homotopy classification of categorial torsors (Q5956930): Difference between revisions

It is well-known that equivalence classes of central extensions of a group \(G\) by an abelian group \(A\) are in one-to-one correspondence with homotopy classes of maps of the Eilenberg-MacLane spaces \(K(G,1)\) and \(K(A,2)\). The authors follow \textit{O. Schreier}'s result [Monatsh. Math. 34, 165-180 (1926; JFM 52.0113.04)] to classify equivalence classes of torsors over a category \({\mathcal B}\) under a categorical group \(({\mathbb G},\otimes)\). Then the one-to-one correspondence between classes of those torsors and homotopy classes of maps of classifying spaces \(B({\mathcal B})\) and \(B({\mathbb G},\otimes)\) leads to the topological significance the main result shows.