45 citations · 190 across the 20 of their papers we have counts for
Showing 2010 · math.CTShow all
2 papers · 2 filters
math.CT2010★ 45 cited
Higher-dimensional normalisation strategies for acyclicity
Yves Guiraud, Philippe Malbos
We introduce acyclic polygraphs, a notion of complete categorical cellular model for (small) categories, containing generators, relations and higher-dimensional globular syzygies.…
math.CT2010★ 2 cited
Coherence in monoidal track categories
Yves Guiraud, Philippe Malbos
We introduce homotopical methods based on rewriting on higher-dimensional categories to prove coherence results in categories with an algebraic structure. We express the coherence…