Graded monads and rings of polynomials
From MaRDI portal
Publication:2451246
DOI10.1007/S10958-008-9013-7zbMATH Open1288.18009OpenAlexW2016389769MaRDI QIDQ2451246FDOQ2451246
Authors: A. L. Smirnov
Publication date: 3 June 2014
Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10958-008-9013-7
Recommendations
Graded rings and modules (associative rings and algebras) (16W50) Categorical structures (18D99) Associative rings and algebras arising under various constructions (16S99)
Cites Work
Cited In (15)
- The free \(A\)-ring is a graded \(A\)-ring
- When programs have to watch paint dry
- Divergences on monads for relational program logics
- Canonical Gradings of Monads
- Graded Hoare logic and its categorical semantics
- Title not available (Why is that?)
- Flexibly graded monads and graded algebras
- Towards a formal theory of graded monads
- Graded algebraic theories
- Title not available (Why is that?)
- Graded monads and behavioural equivalence games
- Polynomial monads and delooping of mapping spaces
- A type system with subtyping for WebAssembly's stack polymorphism
- Graded semantics and graded logics for Eilenberg-Moore coalgebras
- Unifying graded and parameterised monads
This page was built for publication: Graded monads and rings of polynomials
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2451246)