Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Monoidal categories, symmetric monoidal categories (18M05)
Recommendations
Cites work
- scientific article; zbMATH DE number 2087441 (Why is no real title available?)
- A Short Introduction to Implicit Computational Complexity
- Coeffects: unified static analysis of context-dependence
- Descent on 2-fibrations and strongly 2-regular 2-categories
- Finitary semantics of linear logic and higher-order model-checking
- Game Semantics in String Diagrams
- Generic trace semantics and graded monads
- Graded monads and rings of polynomials
- Introduction to bicategories
- Linear dependent types and relative completeness
- Local states in string diagrams
- Monads with arities and their associated theories
- Parametric effect monads and semantics of effect systems
- The formal theory of monads
Cited in
(29)- Unifying graded and parameterised monads
- When programs have to watch paint dry
- Space in Monoidal Categories
- The formal theory of monads, univalently
- Canonical Gradings of Monads
- Deciding Equations in the Time Warp Algebra
- 2-dimensional bifunctor theorems and distributive laws
- A general semantic construction of dependent refinement type systems, categorically
- Generalized bounded linear logic and its categorical semantics
- Graded Hoare logic and its categorical semantics
- The formal theory of multimonoidal monads
- A probability monad as the colimit of spaces of finite samples
- Local states in string diagrams
- Homotopy theory of normed sets. I: Basic constructions
- Morphisms of rings
- A complete \(\mathcal{V}\)-equational system for graded \(\lambda\)-calculus
- Category-graded algebraic theories and effect handlers
- Representing guardedness in call-by-value and guarded parametrized monads
- Flexibly graded monads and graded algebras
- Data-flow analyses as effects and graded monads
- Graded algebraic theories
- Comprehending Ringads
- On lifting of biadjoints and lax algebras
- Graded monads and behavioural equivalence games
- Multinomial and hypergeometric distributions in Markov categories
- A mixed linear and graded logic: proofs, terms, and models
- Tensor topology
- Time warps, from algebra to algorithms
- A compositional approach to parity games
This page was built for publication: Towards a formal theory of graded monads
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2811361)
