Skip to main content

In this definition BQM can be taken to be a space - the geometric realizationgeometric realization of the nervenerve of the category QM. The homotopy groups are then the usual homotopy groups from topology.

There also is a definition of the homotopy group of a simplicial set - you can thus compute the homotopy group of the nerve without passing to the geometric realization first - and the definition you give looks more like that, but the answers are isomorphic.

In this definition BQM can be taken to be a space - the geometric realization of the nerve of the category QM. The homotopy groups are then the usual homotopy groups from topology.

There also is a definition of the homotopy group of a simplicial set - you can thus compute the homotopy group of the nerve without passing to the geometric realization first - and the definition you give looks more like that, but the answers are isomorphic.

In this definition BQM can be taken to be a space - the geometric realization of the nerve of the category QM. The homotopy groups are then the usual homotopy groups from topology.

There also is a definition of the homotopy group of a simplicial set - you can thus compute the homotopy group of the nerve without passing to the geometric realization first - and the definition you give looks more like that, but the answers are isomorphic.

Source Link
Peter Arndt
  • 12.3k
  • 3
  • 58
  • 94

In this definition BQM can be taken to be a space - the geometric realization of the nerve of the category QM. The homotopy groups are then the usual homotopy groups from topology.

There also is a definition of the homotopy group of a simplicial set - you can thus compute the homotopy group of the nerve without passing to the geometric realization first - and the definition you give looks more like that, but the answers are isomorphic.