Decreasing diagrams and coherent presentations

Abstract

We show how decreasing diagrams introduced in the theory of rewriting systems can be used to prove coherence type theorems in category theory. We apply this method to describe a coherent presentation of the 0-Hecke monoid H(Σn) of the symmetric group Σn, i.e. a presentation by generators, relations, and relations between relations.