Graded algebraic theories
From MaRDI portal
Publication:2200837
DOI10.1007/978-3-030-45231-5_21OpenAlexW3023488313MaRDI QIDQ2200837FDOQ2200837
Authors: Satoshi Kura 
Publication date: 23 September 2020
Full work available at URL: https://arxiv.org/abs/2002.06784
Recommendations
Cites Work
- Combining effects: sum and tensor
- The category theoretic understanding of universal algebra: Lawvere theories and monads
- Title not available (Why is that?)
- Title not available (Why is that?)
- Monads with arities and their associated theories
- Title not available (Why is that?)
- Title not available (Why is that?)
- The formal theory of monads
- Freyd categories are enriched Lawvere theories
- Title not available (Why is that?)
- Title not available (Why is that?)
- On closed categories of functors
- Title not available (Why is that?)
- Lawvere theories enriched over a general base
- Gabriel–Ulmer duality and Lawvere theories enriched over a general base
- Enriched algebraic theories and monads for a system of arities
- Handling algebraic effects
- Countable Lawvere theories and computational effects
- Discrete Lawvere theories and computational effects
- Generic weakest precondition semantics from monads enriched with order
- Graded algebraic theories
- Parametric effect monads and semantics of effect systems
- Generic trace semantics and graded monads
- Title not available (Why is that?)
- Towards a formal theory of graded monads
- Graded monads and rings of polynomials
- A theory of effects and resources: adjunction models and polarised calculi
- A unified framework for notions of algebraic theory
Cited In (5)
This page was built for publication: Graded algebraic theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2200837)
