Categories for the Working Mathematician
《Categories for the Working Mathematician》 · 第 282 页 · Chapter XII, Section 7
A bicategory has objects, hom-categories, composition functors and identity arrows, with associativity and identity laws holding up to specified coherent natural isomorphisms.