Coherence in cartesian theories using rewriting

MaRDI QIDQ6523810arXivFDO

Authors Samuel Mimram

Published in arXiv

Mathematics Subject Classification ID

Tricategories, weak (n)-categories, coherence, semi-strictification (18N20)

This page was built for publication: Coherence in cartesian theories using rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6523810)