Bimodule on a bicategory

Last updated Apr 23, 2024

Tags: bicategory, distributive law