Lack’s coherence observation (named for Steve Lack) states that naturally occurring bicategories tend to be equivalent to naturally occurring strict 2-categories. For instance, … the bicategory Prof of small categories and profunctors is equivalent to the strict 2-category of presheaf categories and cocontinuous functors.
Tags: profunctor, bicategory.