Towards a formal theory of graded monads
DOI10.1007/978-3-662-49630-5_30zbMATH Open1474.18011OpenAlexW2339107952MaRDI QIDQ2811361FDOQ2811361
Authors: Soichiro Fujii, Shin-ya Katsumata, Paul-André Melliès 
Publication date: 10 June 2016
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-49630-5_30
Recommendations
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)
Cites Work
- Monads with arities and their associated theories
- Title not available (Why is that?)
- Introduction to bicategories
- Linear dependent types and relative completeness
- The formal theory of monads
- Game Semantics in String Diagrams
- Descent on 2-fibrations and strongly 2-regular 2-categories
- Parametric effect monads and semantics of effect systems
- Generic trace semantics and graded monads
- Graded monads and rings of polynomials
- Coeffects: unified static analysis of context-dependence
- A Short Introduction to Implicit Computational Complexity
- Finitary semantics of linear logic and higher-order model-checking
- Local states in string diagrams
Cited In (23)
- When programs have to watch paint dry
- Space in Monoidal Categories
- Canonical Gradings of Monads
- Deciding Equations in the Time Warp Algebra
- 2-dimensional bifunctor theorems and distributive laws
- The formal theory of multimonoidal monads
- 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
- 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
- Flexibly graded monads and graded algebras
- Graded algebraic theories
- On lifting of biadjoints and lax algebras
- Comprehending Ringads
- Graded monads and behavioural equivalence games
- Multinomial and hypergeometric distributions in Markov categories
- Tensor topology
- Time warps, from algebra to algorithms
- A compositional approach to parity games
- Unifying graded and parameterised monads
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)
