Algebras and modules
Model category presentations
Geometry on formal duals of algebras
An -space or -algebra in spaces is a space (in the sense of an infinity-groupoid, usually presented by a topological space or a simplicial set) with a multiplication that is associative up to higher homotopies involving up to variables.
- An -space is a pointed space.
- Same with an -space.
- An -space is an H-space.
- An -space is a homotopy associative H-space (but no coherence is required of the associator).
- An -space has an associativity homotopy that satisfies the pentagon identity up to homotopy, but no further coherence.
- An A-infinity space has all coherent higher associativity homotopies.
Revised on January 24, 2013 20:00:08
by Urs Schreiber