Higher Catoids, Higher Quantales and their Correspondences

Cameron Calk, Philippe Malbos, Damien Pous +1

We introduce $\ddot{I}‰$-catoids as generalisations of (strict) $\ddot{I}‰$-categories and in particular the higher path categories generated by computads or polygraphs in higher-dimensional rew…