Flexibly graded monads and graded algebras

DOI10.1007/978-3-031-16912-0_4MaRDI QIDQ6109207

Tarmo Uustalu, Dylan McDermott

Publication date: 30 June 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

graded algebracomputational effectgraded monadrelative monadflexible gradinglocally graded category

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

When programs have to watch paint dry

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Algebraic structure for bicategory enriched categories
• An embedding theorem for tangent categories
• Algebraic operations and generic effects
• Graded algebraic theories
• Graded Hoare logic and its categorical semantics
• Graded monads and rings of polynomials
• Properties of dense and relative adjoint functors
• Effect Systems Revisited—Control-Flow Algebra and Semantics
• Towards a Formal Theory of Graded Monads
• Trace Semantics via Generic Observations
• A Probability Monad as the Colimit of Spaces of Finite Samples
• An Algebraic Presentation of Predicate Logic
• Monads need not be endofunctors
• Generic Trace Semantics and Graded Monads.
• Parametric effect monads and semantics of effect systems
• Distributive laws for relative monads

This page was built for publication: Flexibly graded monads and graded algebras