Higher Catoids, Higher Quantales and their Correspondences

Cameron Calk, Philippe Malbos, Damien Pous +1

We introduce $\omega$-catoids as generalisations of (strict) $\omega$-categories and in particular the higher path categories generated by computads or polygraphs in higher-dimensional rewri…