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