Canonical Gradings of Monads
From MaRDI portal
Publication:6150137
DOI10.4204/EPTCS.380.1arXiv2307.16558MaRDI 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
Cites Work
- Algebraic operations and generic effects
- Title not available (Why is that?)
- Skew-monoidal categories and bialgebroids.
- Title not available (Why is that?)
- Triangulations, orientals, and skew monoidal categories
- Parametric effect monads and semantics of effect systems
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
- Towards a Formal Theory of Graded Monads
- Graded monads and rings of polynomials
Cited In (1)
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)