The bicategory of categories is the Bicategory formed by Categories, Functors, and Natural Transformations.