Univalent monoidal categories

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

Authors Kobe Wullaert, Ralph Matthes, Benedikt Ahrens

Publication date 26 November 2024

Full work available at URL https://doi.org/10.4230/LIPICS.TYPES.2022.15

zbMATH Keywords

displayed (bi)categoriesmonoidal categoriesproof assistant CoqRezk completionunimath libraryunivalence

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited in

(4)

• Formalizing the algebraic small object argument in UniMath
• Univalent enriched categories and the enriched rezk completion
• The formal theory of monads, univalently
• Univalent enriched categories and the enriched Rezk completion

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)