Some insights on bicategories of fractions - III

Abstract: We fix any bicategory

m a t h s c r A

together with a class of morphisms

m a t h b f W_{m a t h s c r A}

, such that there is a bicategory of fractions

m a t h s c r A [m a t h b f W_{m a t h s c r A}^{- 1}]

. Given another such pair

(m a t h s c r B, m a t h b f W_{m a t h s c r B})

and any pseudofunctor

m a t h c a l F : m a t h s c r A i g h t a r r o w m a t h s c r B

, we find necessary and sufficient conditions in order to have an induced equivalence of bicategories from

m a t h s c r A [m a t h b f W_{m a t h s c r A}^{- 1}]

to

m a t h s c r B [m a t h b f W_{m a t h s c r B}^{- 1}]

. In particular, this gives necessary and sufficient conditions in order to have an equivalence from any bicategory of fractions

m a t h s c r A [m a t h b f W_{m a t h s c r A}^{- 1}]

to any given bicategory

m a t h s c r B

.

This page was built for publication: Some insights on bicategories of fractions - III