Univalent monoidal categories

DOI10.4230/LIPICS.TYPES.2022.15MaRDI QIDQ6643045zbMATH OpenFDO

Authors Kobe Wullaert, Ralph Matthes, Benedikt Ahrens

Publication date 26 November 2024

zbMATH Keywords

monoidal categoriesunivalenceproof assistant Coqdisplayed (bi)categoriesRezk completionunimath library

Mathematics Subject Classification ID

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)