colawvere theories

This is a type-theoretic intuition. For the formal definition, see “cocartesian comulticategory”.