Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

The 4-associahedron is the 4-dimensional version of Mac Lane's pentagon diagram. If you look at Trimble's notes on tetracategories, you can see the obvious difficulty in working with such a diagram (using it to verify things like coherence etc). Are there any techniques and/or approaches to working with such unwieldy higher-dimensional diagrams?

share|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.