Effiziente Verarbeitung und Analyse von Inhalten zur Gewinnung von Erkenntnissen

Wir definieren Termersetzungssysteme auf den Knoten und Facetten von Nestohedra und zeigen, dass die ersteren konfluent und terminierend sind. Während die zugehörige Ordnung auf den Knoten die Flip-Ordnung von Barnard-McConville für Graphen-Assoziahedra verallgemeinert, verallgemeinert die Präordnung auf den Facetten wahrscheinlich die Facettenschwachordnung für Permutahedra. Darüber hinaus definieren und untersuchen wir kontextuelle Familien von Nestohedra, deren lokale Konfluenzdiagramme eine bestimmte Gleichförmigkeitsbedingung erfüllen. Dazu gehören Assoziahedra und Operahedra, deren zugehörige Beweise der Konfluenz für ihre Termersetzungssysteme Beweise von kategoriellen Kohärenzaussagen für monoidale Kategorien und kategorifizierte Operaden reproduzieren.