On lifting of biadjoints and lax algebras

Publication date 2 November 2018

Full work available at URL https://arxiv.org/abs/1607.03087, http://cgasa.sbu.ac.ir/article_50747.html

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)

Abstract: By the biadjoint triangle theorem, given a pseudomonad

m a t h c a l T

on a

2

-category

m a t h f r a k B

, if a right biadjoint

m a t h f r a k A o m a t h f r a k B

has a lifting to the pseudoalgebras

m a t h f r a k A o m a t h s f P s e x t r m - m a t h c a l T e x t r m - m a t h s f A l g

then this lifting is also right biadjoint provided that

m a t h f r a k A

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

e l l : m a t h s f L a x e x t r m - m a t h c a l T e x t r m - m a t h s f A l g o m a t h s f L a x e x t r m - m a t h c a l T e x t r m - m a t h s f {A l g}_{e} l l

the inclusion, if

R : m a t h f r a k A o m a t h f r a k B

is right biadjoint and has a lifting

J : m a t h f r a k A o m a t h s f L a x e x t r m - m a t h c a l T e x t r m - m a t h s f A l g

, then

e l l c i r c J

is right biadjoint as well provided that

m a t h f r a k 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.

Recommendations

Cites work

Cited in

(13)

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)