Monoidal bicategory

Last updated Sep 8, 2023