Let

be a diagram in Cats2.

  1. 1. The left whiskering of α with G is the natural transformation1
    idGα:GϕGψ.
  2. 2. The right whiskering of α with F is the natural transformation2
    αidF:ϕFψF.


1Further Notation: Also written Gα or Gα, although we won’t use either of these notations in this work.
2Further Notation: Also written αF or αF, although we won’t use either of these notations in this work.


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


You can also use the contact form below: