@UNPUBLISHED{publication1, title = "Decreasing diagrams and coherent presentations", author = "{YUDIN, Ivan}", year = "2018-01-19", 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. ", url = "http://www.mat.uc.pt/preprints/eng\_2018.html", note = "" }