| |
| | Bar Constructions |
 | | Here, the cone monad means the mapping cone of the map X --> 1 into the one-point space, and this is the monad whose algebras are pointed spaces equipped with a continuous action by the unit interval I, the monoid whose multiplication is "inf", such that multiplication by 0 sends every point to the basepoint. |
 | | There is a strong analogy between the cellular structure of the A_n maps, and the cellular structure of the data for bihomomorphisms, trihomomorphisms, etc., except that the A_n structures and A_n maps take account only of higher associativities and their weak preservations, but do not take account of units. |
 | | To take account of units, the geometry of A_n maps should be replaced by the geometry of the bar construction B(F, F, t), where the terminal operad t is regarded as a bimodule over the monoidahedral operad M of example 2. |
| math.ucr.edu /home/baez/universal/bar.html (2334 words) |
|