Bimodule on a bicategory

Last updated Sep 8, 2023

Tags: bicategory, distributive law