Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures

DOI10.1007/S00029-017-0361-3zbMATH Open1427.18012arXiv1612.03678OpenAlexW2567087906WikidataQ59612721 ScholiaQ59612721MaRDI QIDQ1652913FDOQ1652913

Authors: Marcelo P. Fiore, Nicola Gambino, Martin Hyland, Glynn Winskel 

Publication date: 16 July 2018

Published in: Selecta Mathematica. New Series (Search for Journal in Brave)

Abstract: We introduce the notion of a relative pseudomonad, which generalises the notion of a pseudomonad, and define the Kleisli bicategory associated to a relative pseudomonad. We then present an efficient method to define pseudomonas on the Kleisli bicategory of a relative pseudomonad. The results are applied to define several pseudomonads on the bicategory of profunctors in an homogeneous way, thus providing a uniform approach to the definition of bicategories that are of interest in operad theory, mathematical logic, and theoretical computer science.

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

Recommendations

• On the formal theory of pseudomonads and pseudodistributive laws
• Lax formal theory of monads, monoidal approach to bicategorical structures and generalized operads
• Distributive laws for relative monads
• Pseudo-commutative monads
• Monads need not be endofunctors

zbMATH Keywords

operadbicategorypseudofunctorprofunctorpresheaf constructionpseudomonadrelative adjunctionsubstitution monoidal

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) Monoidal categories, symmetric monoidal categories (18M05) Operads (general) (18M60) 2-categories, bicategories, double categories (18N10)

Cites Work

• Title not available (Why is that?)
• Sheaves in geometry and logic: a first introduction to topos theory
• Braided tensor categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A general coherence result
• Monads for which structures are adjoint to units
• Pseudo-distributive laws
• A universal property of the convolution monoidal structure
• Two-dimensional monad theory
• The formal theory of monads
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• A category theoretic formulation for Engeler-style models of the untyped \(\lambda\)-calculus
• Title not available (Why is that?)
• Some reasons for generalising domain theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Profunctors, open maps and bisimulation
• On closed categories of functors
• Title not available (Why is that?)
• Limits of small functors
• Coherence for tricategories
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• Higher-dimensional algebra and topological quantum field theory
• Elementary observations on 2-categorical limits
• Coherence for bicategories and indexed categories
• Pseudo-commutative monads and pseudo-closed 2-categories
• Title not available (Why is that?)
• Foundations of Software Science and Computational Structures
• Monads as extension systems -- no iteration is necessary
• A coherent approach to pseudomonads
• Flexible limits for 2-categories
• Title not available (Why is that?)
• A unified framework for generalized multicategories
• The cartesian closed bicategory of generalised species of structures
• Coherence for pseudodistributive laws revisited
• Abstract substitution in enriched categories
• Title not available (Why is that?)
• Lax formal theory of monads, monoidal approach to bicategorical structures and generalized operads
• Title not available (Why is that?)
• Title not available (Why is that?)
• Not every pseudoalgebra is equivalent to a strict one
• Monads need not be endofunctors
• Reports of the Midwest Category Seminar
• No-iteration pseudomonads
• Kan extensions and lax idempotent pseudomonads
• ON THE COCHAIN COMPLEX OF TOPOLOGICAL SPACES
• Title not available (Why is that?)
• Properties of dense and relative adjoint functors
• Typed Lambda Calculi and Applications
• Coherent Extensions and Relational Algebras

Cited In (12)

• Stabilized profunctors and stable species of structures
• On the formal theory of pseudomonads and pseudodistributive laws
• Relative full completeness for bicategorical Cartesian closed structure
• Runners for interleaving algebraic effects
• Classical lambda calculus in modern dress
• \(\infty\)-operads via symmetric sequences
• Title not available (Why is that?)
• A unified framework for notions of algebraic theory
• The linear-non-linear substitution 2-monad
• The formal theory of relative monads
• Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
• On the concrete representation of discrete enriched abstract clones

This page was built for publication: Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1652913)