Right saturations and induced pseudofunctors between bicategories of fractions (Q2403972)

Roughly speaking, a bicategory \(\mathcal{C}\) has objects, 1-morphisms \(f: A\rightarrow B\) or morphisms between them and 2-morphisms between 1-morphisms with the same source and target, denoted by \(\alpha: f_1\Rightarrow f_2\). There exists a composition of 1-morphisms as well two kinds of compositions: a horizontal composition and a vertical composition. In addition there is a 1-identity \(\mathrm{id}_A\) for each object \(A\) and 2-identities \(i_f\) for each 1-morphism \(f\). The composition of the morphisms and two compositions of the 2-morphisms satisfy the usual conditions of a category. Given any two bicategories \(\mathcal{C}\) and \(\mathcal{D}\) a pseudofunctor \(F : \mathcal{C} \rightarrow \mathcal{D}\) is morphism between them. In this paper, the authors fix a bicategory \(\mathcal{A}\) together with a class of morphisms \(W_{\mathcal{A}}\), such that there is a bicategory of fractions \(\mathcal{A}[W^{-1}_{\mathcal{A}}]\) and given another such pair \((\mathcal{B}, W_\mathcal{B})\) and any pseudofunctor \(F: \mathcal{A} \rightarrow B\), they find necessary and sufficient conditions in order to have an induced pseudofunctor \( \mathcal{G}: \mathcal{A}[W^{-1}_{\mathcal{A}}]\rightarrow \mathcal{B}[W^{-1}_{\mathcal{B}}]\). Moreover, they give a simple description of \(\mathcal{G}\) in the case when the class \(W_{B}\) is right saturated.