There are many satisfying answers, but not a single satisfying answer. I'll just drop a bunch of relevant literature without much explanation, and without much specific context; I'll maybe come back later for adjustments. Better than nothing, I hope!
The implicit starting point of all these different development deserves at least a word of explanation.
The idea is more or less the following: let's say that a "Lawvere theory" is an identity-on-object functor ${\sf Fin}^o \to L$, where $\sf Fin$ is the category of finite sets and functions. These functors form a category, the category $\sf Law$ of Lawvere theories, of which a brilliant survey is this paper by Hyland and Power https://www.sciencedirect.com/science/article/pii/S1571066107000874
Then there is an equivalence of categories between
- The category $\sf Law$ defined as above.
- The category of promonads on the object $\sf Fin$, regarded as an object of the bicategory $\sf Prof$ of profunctors
- The category of finitary monads on $\sf Set$ (all sets, and functions)
- The category of "convolution monoidal cocontinuous" monads on $[{\sf Fin,Set}]$, i.e. monads $T : [{\sf Fin,Set}] \to [{\sf Fin,Set}]$ that are colimit preserving and monoidal functors with respect to Day convolution
- The category of "clones" (also called, "cartesian operads"), i.e. monoids with respect to a certain monoidal structure on $[{\sf Fin,Set}]$ called "substitution product".
- The category of relative monads in the (skew)monoidal category $[{\sf Fin,Set}]$.
Here we're in the same situation of the famous parable of the elephant and the blind men: various approaches have tried to generalise, to various extents, each of these different perspectives on the notion of Lawvere theory. Some of them work better when changing the base of enrichment; some others work better when you try to internalise the notion of algebraic theory (surprisingly, the first notion of internal algebraic theory was given taking 2 as primary definition, in a brilliant paper by Johnstone and Wraith https://link.springer.com/chapter/10.1007%2FBFb0061363 ), some other work best when your abstract setting for CT is double categorical, some others are exquisitely combinatorial.
Another possible generalisation is the following (of which I know no single, comprehensive reference): $\sf Fin$ is the free category with finite coproducts over the point, and dually ${\sf Fin}^o$ is the free category with products over the point. so, call ${\sf Fin} = P1$ and replace $\sf Fin$, above, with another category $D1$, the free category with $D$-structure over the point, where $D$ s just another 2-monad on $\sf Cat$ (for example, completion under other shapes of colimits). Which parts of the correspondence above break down?
Do all these different approaches converge in a truly comprehensive, unified framework? I don't know! I would say some people do, but...