分野別セミナー

Ａ∞構造の定義には、ホモトピー単位元しか仮定しない
ものと厳密な単位元を仮定するものと二つの定義がStasheffに
より与えられていた。しかしStasheffによるその同値性の証明
には明らかな欠陥があり長く未解決であった。今回ホモトピー
同値を除けば、これら二つの定義が本質的に同値であることを
分類空間の新しい構成法を示すことで証明した。しかもここで
与える構成法はＡ∞圏に対しても拡張可能な自然性を有する。