Towards a formal theory of graded monads

DOI10.1007/978-3-662-49630-5_30zbMATH Open1474.18011OpenAlexW2339107952MaRDI QIDQ2811361FDOQ2811361

Paul-André Melliès, Shin-ya Katsumata, Soichiro Fujii

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

• 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

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)

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 (20)

• Morphisms of Rings
• 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
• 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
• Title not available (Why is that?)
• A Probability Monad as the Colimit of Spaces of Finite Samples
• 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)