Canonical Gradings of Monads

DOI10.4204/eptcs.380.1arXiv2307.16558MaRDI QIDQ6150137

Tarmo Uustalu, Flavien Breuvart, Dylan McDermott

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Skew-monoidal categories and bialgebroids.
• Algebraic operations and generic effects
• Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
• Triangulations, orientals, and skew monoidal categories
• Graded monads and rings of polynomials
• Towards a Formal Theory of Graded Monads
• Parametric effect monads and semantics of effect systems