Acyclic Poset Multiplihedra and their Quotients
Two families of polytopes underlie the combinatorics of associative operations. Associahedra and multiplihedra respectively capture the information in the operation itself and in the morphisms that respect that operation. The first applications of these polytopes, from Stasheff, were for modeling homotopy associative spaces and their homotopy homomorphisms. Later, lax and weak higher categories used both as the shapes of commuting diagrams. More recently, the associahedra have been generalized to versions based on graphs, and then to acyclic versions based on posets: the acyclonestohedra. Meanwhile, the associated multiplihedra have also been generalized to graph associahedra and generalized permutohedra. Here we complete that picture: we use the graph multiplihedra to define and realize new acyclic poset multiplihedra for the acyclic poset associahedra. Quotients of these are also studied, concluding with the conjectured interval polytopes of the order polytopes of posets.