bicategory whiskerings and unitors for Prof