In
The Combinatorics of Iterated Loop Spaces, Batanin describes an operad based on the poset of faces of the nth Stasheff associahedron. The case of the pentagon looks like this:

It is a broken pentagon, but the top side is an identity if we want the sequence to form a 1-operad in the usual sense. Otherwise, the sequence of permutohedra form a kind of non-commutative operad. Moreover, there is a map of operads from these permutohedra to the diagrams with collapsing identities. This was outlined concretely by
Loday.
This is an example of a low dimensional operadic map which we might otherwise have viewed as a
broken parity cube in a tetracategorical context.
No comments:
Post a Comment
Note: Only a member of this blog may post a comment.