Canonical Gradings of Monads

DOI10.4204/EPTCS.380.1MaRDI QIDQ6150137FDOQ6150137

Authors Flavien Breuvart, Dylan McDermott, Tarmo Uustalu

Publication date 5 March 2024

Published in Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2307.16558

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Towards a formal theory of graded monads
• Graded algebraic theories
• Unifying graded and parameterised monads
• A double category theoretic analysis of graded linear exponential comonads
• Localisable monads

Cites work

• scientific article; zbMATH DE number 431766 (Why is no real title available?)
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• Algebraic operations and generic effects
• Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
• Graded monads and rings of polynomials
• Parametric effect monads and semantics of effect systems
• Skew-monoidal categories and bialgebroids.
• Towards a formal theory of graded monads
• Triangulations, orientals, and skew monoidal categories

Cited in

(2)

• Graded algebraic theories
• Twists of graded algebras in monoidal categories

This page was built for publication: Canonical Gradings of Monads

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