Distributive laws for relative monads

DOI10.1007/s10485-023-09716-1zbMath1511.18003arXiv2007.12982MaRDI QIDQ6159707

Gabriele Lobbia

Publication date: 8 May 2023

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2007.12982

zbMATH Keywords

2-categoriesdistributive lawsrelative monads

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (2)

Flexibly graded monads and graded algebras ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• A 2-categorical pasting theorem
• Two-dimensional monad theory
• Yoneda structures on 2-categories
• Formal category theory: Adjointness for 2-categories
• The formal theory of monads. II
• Properties of dense and relative adjoint functors
• The formal theory of monads
• Yoneda structures from 2-toposes
• Initiality for Typed Syntax and Semantics
• No-iteration mixed distributive laws
• A 2-Categories Companion
• Some reasons for generalising domain theory
• An Algebraic Presentation of Predicate Logic
• Monads need not be endofunctors
• Modules over relative monads for syntax and semantics
• A basic distributive law

This page was built for publication: Distributive laws for relative monads