On lifting of biadjoints and lax algebras

Abstract

By the biadjoint triangle theorem, given a pseudomonad $\mathcal{T}$ on a $2$-category $\mathfrak{B}$, if a right biadjoint $\mathfrak{A}\to \mathfrak{B}$ has a lifting to the pseudoalgebras $\mathfrak{A}\to \mathsf{Ps}\text{-}\mathcal{T}\text{-}\mathsf{Alg}$ then this lifting is also right biadjoint provided that $\mathfrak{A}$ has codescent objects. In this paper, we give general results on lifting of biadjoints. As a consequence, we get a \textit{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 :\mathsf{Lax}\text{-}\mathcal{T}\text{-}\mathsf{Alg}\to \mathsf{Lax}\text{-}\mathcal{T}\text{-}{\mathsf{Alg}}_{\ell }$ the inclusion, if $R:\mathfrak{A}\to \mathfrak{B}$ is right biadjoint and has a lifting $J:\mathfrak{A}\to \mathsf{Lax}\text{-}\mathcal{T}\text{-}\mathsf{Alg}$, then $\ell \circ J$ is right biadjoint as well provided that $\mathfrak{A}$ 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.

24 pages, Article in Press in "Categories and General Algebraic Structures with Applications" (Accepted in 28th June 2017)

Cited by in corpus (5)

• Pseudo-Kan Extensions and Descent Theory
• On effective descent $\mathcal{V}$-functors and familial descent morphisms
• Cauchy Completeness, Lax Epimorphisms and Effective Descent for Split Fibrations
• Freely generated $n$-categories, coinserters and presentations of low dimensional categories
• Pseudomonads and Descent, PhD Thesis (Chapter 1)