Towards a formal theory of graded monads

DOI10.1007/978-3-662-49630-5_30MaRDI QIDQ2811361zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

• Unifying graded and parameterised monads
• The formal theory of monoidal monads
• The formal theory of multimonoidal monads
• Local states in string diagrams
• A double category theoretic analysis of graded linear exponential comonads

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

(23)

• Unifying graded and parameterised monads
• 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
• 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
• Flexibly graded monads and graded algebras
• 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
• 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)