<Reference List> | |
Type: | Preprint |
National /International: | International |
Title: | Decreasing diagrams and coherent presentations |
Publication Date: | 2018-01-19 |
Authors: |
- Ivan Yudin
|
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. |
Institution: | DMUC 18-02 |
Online version: | http://www.mat.uc.pt...prints/eng_2018.html |
Download: | Not available |