In category theory, a bicategory is a like a 2-category except: there are no 2 arrows between distinct 1-cells associativity only holds up to natural isomorphism natural isomorphism.