Graded algebraic theories

DOI10.1007/978-3-030-45231-5_21OpenAlexW3023488313MaRDI QIDQ2200837

Satoshi Kura

Publication date: 23 September 2020

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

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (3)

Flexibly graded monads and graded algebras ⋮ Graded algebraic theories ⋮ Graded Hoare logic and its categorical semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Freyd categories are enriched Lawvere theories
• Monads with arities and their associated theories
• Discrete Lawvere theories and computational effects
• Generic weakest precondition semantics from monads enriched with order
• Graded algebraic theories
• Lawvere theories enriched over a general base
• Graded monads and rings of polynomials
• Combining effects: sum and tensor
• The formal theory of monads
• Enriched algebraic theories and monads for a system of arities
• Towards a Formal Theory of Graded Monads
• A theory of effects and resources: adjunction models and polarised calculi
• The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
• Handling Algebraic Effects
• Gabriel–Ulmer duality and Lawvere theories enriched over a general base
• A unified framework for notions of algebraic theory
• Generic Trace Semantics and Graded Monads.
• Parametric effect monads and semantics of effect systems
• On closed categories of functors

This page was built for publication: Graded algebraic theories