Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures

DOI10.1007/s00029-017-0361-3zbMath1427.18012arXiv1612.03678OpenAlexW2567087906WikidataQ59612721 ScholiaQ59612721MaRDI QIDQ1652913

Nicola Gambino, Marcelo P. Fiore, J. M. E. Hyland, Glynn Winskel

Publication date: 16 July 2018

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

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

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

Related Items (9)

\(\infty\)-operads via symmetric sequences ⋮ A unified framework for notions of algebraic theory ⋮ The linear-non-linear substitution 2-monad ⋮ Runners for interleaving algebraic effects ⋮ Relative full completeness for bicategorical Cartesian closed structure ⋮ Unnamed Item ⋮ On the concrete representation of discrete enriched abstract clones ⋮ On the formal theory of pseudomonads and pseudodistributive laws ⋮ Classical lambda calculus in modern dress

Cites Work

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

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