Definition Bicategory of pseudofunctors [efr-003J]

Let \mathcal {C},\mathcal {D} be bicategories. Then there is a bicategory \mathsf {BiCat}^\mathrm {ps}(\mathcal {C},\mathcal {D}), where

1. The objects are the pseudofunctors \mathcal {C} \to \mathcal {D}
2. The morphisms are the strong transformations
3. The 2-cells are the modifications