Univalent monoidal categories
From MaRDI portal
Publication:6643045
DOI10.4230/LIPICS.TYPES.2022.15MaRDI QIDQ6643045FDOQ6643045
Kobe Wullaert, Ralph Matthes, Benedikt Ahrens
Publication date: 26 November 2024
monoidal categoriesunivalenceproof assistant Coqdisplayed (bi)categoriesRezk completionunimath library
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)
This page was built for publication: Univalent monoidal categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6643045)
