Functoriality of enriched data types

DOI10.46298/ENTICS.16583MaRDI QIDQ7312208zbMATH OpenFDO

Authors Lukas Mulder, Paige Randall North, Maximilien Péroux

Publication date 11 August 2026

Copyright license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International

Full work available at URL https://doi.org/10.46298/ENTICS.16583

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• Coinductive control of inductive data types
• Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories
• Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2--7, 2022. Proceedings
• Hopf algebras and Galois theory
• Hopf measuring comonoids and enrichment
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3522182 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 3305156 (Why is no real title available?)
• Measuring comodules -- their applications
• The \textsc{MetaCoq} project
• The coalgebraic enrichment of algebras in higher categories
• Turing-Completeness Totally Free
• Wellfounded trees in categories

This page was built for publication: Functoriality of enriched data types

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