Click here to flash read.
arXiv:2403.15987v1 Announce Type: new
Abstract: We define term rewriting systems on the vertices and faces of nestohedra, and show that the former are confluent and terminating. While the associated poset on vertices generalizes Barnard--McConville's flip order for graph-associahedra, the preorder on faces likely generalizes the facial weak order for permutahedra. Moreover, we define and study contextual families of nestohedra, whose local confluence diagrams satisfy a certain uniformity condition. Among them are associahedra and operahedra, whose associated proofs of confluence for their rewriting systems reproduce proofs of categorical coherence theorems for monoidal categories and categorified operads.
Click here to read this post out
ID: 801866; Unique Viewers: 0
Unique Voters: 0
Total Votes: 0
Votes:
Latest Change: March 26, 2024, 7:34 a.m.
Changes:
Dictionaries:
Words:
Spaces:
Views: 13
CC:
No creative common's license
No creative common's license
Comments: