1 citations · 3 across the 6 of their papers we have counts for
1 paper · 1 filter
Benjamin Dupont, Philippe Malbos
A coherent presentation of an n-category is a presentation by generators, relations and relations among relations. Confluent and terminating rewriting systems generate coherent pre…