Whereas a weak 2-category is said to be a bicategory Benabou 1967, a weak 3-category is said to be a tricategory (Gordon, Power & Street 1995; Baez & Dolan 1996; Leinster 1998).