Text this: Categorical semi-direct products in varieties of groups with multiple operators