Alexander Campbell – 9 August 2017

For each skew-promonoidal category V, I will introduce a 2-category of categories equipped with a V-proaction. When V is skew-monoidal, the 2-categories of skew V-actegories and skew V-categories are equivalent to full sub-2-categories of this 2-category. From these observations follow immediately the "often-rediscovered folklore" equivalence, for V monoidal closed, between hommed V-actegories and tensored V-categories, and its skew generalization