Towards a Formal Theory of Graded Monads

DOI10.1007/978-3-662-49630-5_30zbMath1474.18011OpenAlexW2339107952MaRDI QIDQ2811361

Shin-ya Katsumata, Soichiro Fujii, 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)

Related Items

Comprehending Ringads ⋮ Tensor topology ⋮ Space in Monoidal Categories ⋮ 2-dimensional bifunctor theorems and distributive laws ⋮ When programs have to watch paint dry ⋮ Flexibly graded monads and graded algebras ⋮ Canonical Gradings of Monads ⋮ Deciding Equations in the Time Warp Algebra ⋮ Graded algebraic theories ⋮ Time warps, from algebra to algorithms ⋮ Unnamed Item ⋮ Generalized bounded linear logic and its categorical semantics ⋮ A general semantic construction of dependent refinement type systems, categorically ⋮ Graded Hoare logic and its categorical semantics ⋮ On lifting of biadjoints and lax algebras ⋮ A Probability Monad as the Colimit of Spaces of Finite Samples ⋮ Morphisms of Rings

Cites Work

• Unnamed Item
• Monads with arities and their associated theories
• Descent on 2-fibrations and strongly 2-regular 2-categories
• Graded monads and rings of polynomials
• The formal theory of monads
• Finitary Semantics of Linear Logic and Higher-Order Model-Checking
• Game Semantics in String Diagrams
• A Short Introduction to Implicit Computational Complexity
• Introduction to bicategories
• Linear Dependent Types and Relative Completeness
• Local States in String Diagrams
• Generic Trace Semantics and Graded Monads.
• Coeffects: Unified Static Analysis of Context-Dependence
• Parametric effect monads and semantics of effect systems