underlying category of a multicategory

• multicategory