Date: Sat, 26 Oct 91 15:24:58 EDT From: James Stasheff <jds@charlie.math.unc.edu>
Since the associahedra (my K_n complexes) exist for all n, can they be regarded as (generating) an \omega-category?? jim
In retrospect, your associahedra are very closely related to my orientals: something like the geometric realization of their nerve. When writing about orientals, I had categorical coherence and cohomology more clearly in mind than homotopy (except for the vague analogy -which I have been trying to make precise since 1968- that 2-cells are like homotopies). In order to generate an omega-category, one needs to divide the boundary of each cell decisively into two parts. There is a bit of choice about how this is done with your construction, isn't there? I seem to remember that you have more cells than the orientals. Also, do you want inverses to your cells as exist at the homotopy level? Regards, Ross ===========================