Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
From MaRDI portal
Publication:1652913
DOI10.1007/S00029-017-0361-3zbMATH Open1427.18012OpenAlexW2567087906WikidataQ59612721 ScholiaQ59612721MaRDI QIDQ1652913FDOQ1652913
operadbicategorypseudofunctorprofunctorpresheaf constructionpseudomonadrelative adjunctionsubstitution monoidal
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)
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 2134022 (Why is no real title available?)
- scientific article; zbMATH DE number 3904807 (Why is no real title available?)
- scientific article; zbMATH DE number 3680046 (Why is no real title available?)
- scientific article; zbMATH DE number 3512374 (Why is no real title available?)
- scientific article; zbMATH DE number 3522192 (Why is no real title available?)
- scientific article; zbMATH DE number 3549200 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1271223 (Why is no real title available?)
- scientific article; zbMATH DE number 1024330 (Why is no real title available?)
- scientific article; zbMATH DE number 1129148 (Why is no real title available?)
- scientific article; zbMATH DE number 1759453 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- scientific article; zbMATH DE number 3264101 (Why is no real title available?)
- scientific article; zbMATH DE number 2222247 (Why is no real title available?)
- A category theoretic formulation for Engeler-style models of the untyped \(\lambda\)-calculus
- A coherent approach to pseudomonads
- A general coherence result
- A unified framework for generalized multicategories
- A universal property of the convolution monoidal structure
- Abstract substitution in enriched categories
- Braided tensor categories
- Coherence for bicategories and indexed categories
- Coherence for pseudodistributive laws revisited
- Coherence for tricategories
- Coherent Extensions and Relational Algebras
- Elementary observations on 2-categorical limits
- Flexible limits for 2-categories
- Foundations of Software Science and Computational Structures
- Higher-dimensional algebra and topological quantum field theory
- Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
- Kan extensions and lax idempotent pseudomonads
- Lax formal theory of monads, monoidal approach to bicategorical structures and generalized operads
- Limits of small functors
- Monads as extension systems -- no iteration is necessary
- Monads for which structures are adjoint to units
- Monads need not be endofunctors
- No-iteration pseudomonads
- Not every pseudoalgebra is equivalent to a strict one
- ON THE COCHAIN COMPLEX OF TOPOLOGICAL SPACES
- On MacLane's conditions for coherence of natural associativities, commutativities, etc
- On closed categories of functors
- Profunctors, open maps and bisimulation
- Properties of dense and relative adjoint functors
- Pseudo-commutative monads and pseudo-closed 2-categories
- Pseudo-distributive laws
- Reports of the Midwest Category Seminar
- Sheaves in geometry and logic: a first introduction to topos theory
- Some reasons for generalising domain theory
- The cartesian closed bicategory of generalised species of structures
- The formal theory of monads
- Two-dimensional monad theory
- Typed Lambda Calculi and Applications
Cited in
(16)- \(\infty\)-operads via symmetric sequences
- On the formal theory of pseudomonads and pseudodistributive laws
- Relative full completeness for bicategorical Cartesian closed structure
- Runners for interleaving algebraic effects
- Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
- The formal theory of relative monads
- Stabilized profunctors and stable species of structures
- Kleisli categories, \(T\)-categories and internal categories
- Pseudo-commutative monads
- On the concrete representation of discrete enriched abstract clones
- Pseudocommutativity and lax idempotency for relative pseudomonads
- Differential bundles in commutative algebra and algebraic geometry
- Classical lambda calculus in modern dress
- On monads and warpings
- The linear-non-linear substitution 2-monad
- A unified framework for notions of algebraic theory
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)
