Re: symmetric monoidal closed bicategory definition?