Let
be a diagram in
- 1.
The left whiskering of
with is the natural transformation1 - 2.
The right whiskering of
with is the natural transformation2
1Further Notation: Also written or , although we won’t use either of these notations in this work.
2Further Notation: Also written or , although we won’t use either of these notations in this work.