Adjointness in descent theory Original Research Article

The “exact resolution” of a morphism in a bicategory χ is a process that leads to a biadjointness of suitable bicategories constructed out of χ. We apply this biadjointness to state in a universal way the (lax) effective descent problem, which is investigated further.