On lifting of biadjoints and lax algebras

zbMATH Open1454.18018arXiv1607.03087MaRDI QIDQ4553294FDOQ4553294

Authors: Fernando Lucatelli Nunes 

Publication date: 2 November 2018

Abstract: By the biadjoint triangle theorem, given a pseudomonad $mathcalT$ on a $2$-category $mathfrakB$, if a right biadjoint $mathfrakAomathfrakB$ has a lifting to the pseudoalgebras $mathfrakAomathsfPsextrm-mathcalTextrm-mathsfAlg$ then this lifting is also right biadjoint provided that $mathfrakA$ has codescent objects. In this paper, we give general results on lifting of biadjoints. As a consequence, we get a extit{biadjoint triangle theorem} which, in particular, allows us to study triangles involving the $2$-category of lax algebras, proving analogues of the result described above. More precisely, we prove that, denoting by $ell:mathsfLaxextrm-mathcalTextrm-mathsfAlgomathsfLaxextrm-mathcalTextrm-mathsf{Alg}_{e}ll$ the inclusion, if $R:mathfrakAomathfrakB$ is right biadjoint and has a lifting $J:mathfrakAomathsfLaxextrm-mathcalTextrm-mathsfAlg$, then $ellcircJ$ is right biadjoint as well provided that $mathfrakA$ has some needed weighted bicolimits. In order to prove such theorem, we study the descent objects and the lax descent objects. At the last section, we study direct consequences of our theorems in the context of the $2$-monadic approach to coherence. In particular, we give the construction of the left $2$-adjoint to the inclusion of the strict algebras into the lax algebras.

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

Recommendations

• The core of adjoint functors
• scientific article; zbMATH DE number 3971007
• scientific article; zbMATH DE number 3851342
• scientific article; zbMATH DE number 3927164
• scientific article; zbMATH DE number 3857344
• scientific article
• scientific article; zbMATH DE number 29047
• scientific article; zbMATH DE number 2139647
• Biequivalences in tricategories
• scientific article; zbMATH DE number 465545

zbMATH Keywords

pseudomonadslax algebrasbiadjunctions

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) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) 2-categories, bicategories, double categories (18N10) 2-dimensional monad theory (18N15)

Cites Work

• Title not available (Why is that?)
• A general coherence result
• Action of the braid group on a category
• Monads for which structures are adjoint to units
• Introduction to bicategories
• Two-dimensional monad theory
• Codescent objects and coherence
• The formal theory of monads
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Icons
• Title not available (Why is that?)
• Title not available (Why is that?)
• Adjungierte Dreiecke, Colimites und Kan-Erweiterungen
• Categorical and combinatorial aspects of descent theory
• Adjoint Lifting Theorems for Categories of Algebras
• Title not available (Why is that?)
• Kan extensions in enriched category theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Limits indexed by category-valued 2-functors
• Monoidal bicategories and Hopf algebroids
• Elementary observations on 2-categorical limits
• A 2-categories companion
• Facets of descent. II
• Title not available (Why is that?)
• Title not available (Why is that?)
• A coherent approach to pseudomonads
• Adjoint triangles
• Flexible limits for 2-categories
• Title not available (Why is that?)
• Coherence for pseudodistributive laws revisited
• From coherent structures to universal properties
• Beck's theorem for pseudo-monads
• Two-dimensional monadicity
• On biadjoint triangles
• Descent on 2-fibrations and strongly 2-regular 2-categories
• Semi-topological functors III: Lifting of monads and adjoint functors
• Compact and hypercomplete categories
• A representation result for free cocompletions
• Pseudo-Kan extensions and descent theory
• Towards a formal theory of graded monads
• Title not available (Why is that?)

Cited In (13)

• Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent
• Semantic factorization and descent
• Pseudoalgebras and non-canonical isomorphisms
• On effective descent \(\mathcal{V}\)-functors and familial descent morphisms
• Pseudo-Kan extensions and descent theory
• CHAD for expressive total languages
• Beck's theorem for pseudo-monads
• 2-dimensional bifunctor theorems and distributive laws
• Cauchy completeness, lax epimorphisms and effective descent for split fibrations
• On biadjoint triangles
• Codescent objects and coherence
• Descent Data and Absolute Kan Extensions
• Title not available (Why is that?)

This page was built for publication: On lifting of biadjoints and lax algebras

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