The ''exact resolution'' of a morphism in a bicategory X is a process
that leads to a biadjointness of suitable bicategories constructed out
of X. We apply this biadjointness to state in a universal way the (la
x) effective descent problem, which is investigated further. (C) 1997
Elsevier Science B.V.