Add the fact that whiskering is functorial