132 citations · 282 across the 36 of their papers we have counts for
1 paper · 2 filters
Ivan Yudin
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 co…