Let be a 2-category. The whiskering of is a way of composing 1-morphisms with 2-morphisms horizontally such by composing with the identity 2-morphism between the 1-morphisms.
Let be a 2-category. The whiskering of is a way of composing 1-morphisms with 2-morphisms horizontally such by composing with the identity 2-morphism between the 1-morphisms.