Tags: distributive category, predistributive category, predistributive multicategory, parameterized algebraic theory.
