The Geometry of Iterated Loop Spaces

http://www.math.uchicago.edu/~may/BOOKS/gils.pdf

ここからは両側bar構成について紹介する。

幾何的実現により、

- 与えられたA_\infty空間と弱ホモトピー同値な位相モノイド

- C_n空間のn-fold delooping

- 位相モノイドのMilgram分類空間のStasheffによる一般化

が得られる。

またホモロジー台数での両側バー構成も得られる。