Objects, 1-morphisms, 2-morphisms with vertical/horizontal composition. Strict (assoc on nose) vs weak (bicategory, Benabou). Example: Cat.
Objects, 1-morphisms, 2-morphisms with vertical/horizontal composition. Strict (assoc on nose) vs weak (bicategory, Benabou). Example: Cat.