Describing free -categories
From MaRDI portal
Publication:6654497
DOI10.5555/3470152.3470183MaRDI QIDQ6654497FDOQ6654497
Authors: Simon Forest, Samuel Mimram 
Publication date: 19 December 2024
Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Strict omega-categories, computads, polygraphs (18N30)
This page was built for publication: Describing free \(\omega \)-categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6654497)
