%0 Journal Article
%T On lifting of biadjoints and lax algebras
%J Categories and General Algebraic Structures with Applications
%I Shahid Beheshti University
%Z 2345-5853
%A Lucatelli Nunes, Fernando
%D 2018
%\ 07/01/2018
%V 9
%N 1
%P 29-58
%! On lifting of biadjoints and lax algebras
%K Lax algebras
%K pseudomonads
%K biadjunctions
%K adjoint triangles
%K lax descent objects
%K descent categories
%K weighted bi(co)limits
%R
%X Given a pseudomonad $mathcal{T} $ on a $2$-category $mathfrak{B} $, if a right biadjoint $mathfrak{A}tomathfrak{B} $ has a lifting to the pseudoalgebras $mathfrak{A}tomathsf{Ps}textrm{-}mathcal{T}textrm{-}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 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. In the context of lax algebras, denoting by $ell :mathsf{Lax}textrm{-}mathcal{T}textrm{-}mathsf{Alg} tomathsf{Lax}textrm{-}mathcal{T}textrm{-}mathsf{Alg} _ell $ the inclusion, if $R: mathfrak{A}tomathfrak{B} $ is right biadjoint and has a lifting $J: mathfrak{A}to mathsf{Lax}textrm{-}mathcal{T}textrm{-}mathsf{Alg} $, then $ellcirc J$ is right biadjoint as well provided that $mathfrak{A} $ has some needed weighted bicolimits. In order to prove such result, we study descent objects and lax descent objects. At the last section, we study direct consequences of our theorems in the context of the $2$-monadic approach to coherence.
%U http://cgasa.sbu.ac.ir/article_50747_e7751692a69d525e49259ebe2763142f.pdf