1.6k citations · 2.2k across the 17 of their papers we have counts for
4 papers · 1 filter
Abstract rewriting internalized
Maxime Lucas
In traditional rewriting theory, one studies a set of terms up to a set of rewriting relations. In algebraic rewriting, one instead studies a vector space of terms, up to a vector…
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…
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…
A coherence theorem for pseudonatural transformations
Maxime Lucas
We prove coherence theorems for bicategories, pseudofunctors and pseudonatural transformations. These theorems boil down to proving the coherence of some free -categories. I…