1.6k citations · 2.2k across the 17 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
math.CT2016
A cubical Squier's theorem
Maxime Lucas
Convergent rewriting systems are well-known tools in the study of the word-rewriting problem. In particular, a presentation of a monoid by a finite convergent rewriting system give…
math.CT2016★ 1 cited
Cubical -categories
Maxime Lucas
In this article we introduce the notion of cubical -categories, for . We show that the equivalence between globular and groupoid -categories p…