Let
be a diagram in $\mathsf{Cats}_{\mathsf{2}}$.
-
The left whiskering of $\alpha $ with $G$ is the natural transformation1
\[ \text{id}_{G}\star \alpha \colon G\circ \phi \Longrightarrow G\circ \psi . \]
-
The right whiskering of $\alpha $ with $F$ is the natural transformation2
\[ \alpha \star \text{id}_{F}\colon \phi \circ F\Longrightarrow \psi \circ F. \]
1Further Notation: Also written $G\alpha $ or $G\mathbin {\star }\alpha $, although we won’t use either of these notations in this work.
2Further Notation: Also written $\alpha F$ or $\alpha \mathbin {\star }F$, although we won’t use either of these notations in this work.
