Implication Details

Assumptions: multi-algebraic

Conclusions: generalized variety, multi-cocomplete

This is an equivalence.

Reason: This follows from one of equivalent formulations of multi-algebraic categories.