underlying category of a multicategory

Last updated Aug 28, 2024

• multicategory