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

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


You can also use the contact form below: