A weak 2-functor between weak 2-categories (weakly enriched over $\Cat$ where associativity and unity hold only up to coherent isomorphism).