• The right whiskering of $\alpha $ with $F$ is the natural transformation2
    \[ \alpha \star \text{id}_{F}\colon \phi \circ F\Longrightarrow \psi \circ F. \]

Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: