Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Cubical coherent confluence, -groupoids and the cube equation
Philippe Malbos, Tanguy Massacrier, Georg Struth
We study the confluence property of abstract rewriting systems internal to cubical categories. We introduce cubical contractions, a higher-dimensional generalisation of reductions…
cs.LO2025
Higher Catoids, Higher Quantales and their Correspondences
Cameron Calk, Philippe Malbos, Damien Pous +1
We introduce -catoids as generalisations of (strict) -categories and in particular the higher path categories generated by computads or polygraphs in higher-dimensional rew…