Proposition [efr-TY4G]

If \mathbb {C} \to \mathbb {D} is a 2-functor that preserves finite 2-limits, the square

commutes up to strict natural isomorphism. (In particular, the square involving the subcategories of strict homomorphisms also commutes up to natural isomorphism).