For the first question, we have natural isomorphisms

$$U V(\Phi)(F) = \int^n F(n)\cdot \Phi(\hom(1,-))^n \cong \int^n F(n)\cdot \Phi(\hom(1,-)^n) \cong \int^n \Phi(F(n)\cdot \hom(1,-)^n)$$

$$\cong \Phi(\int^n F(n)\cdot \hom(1,-)^n) \cong \Phi(\int^n F(n) \cdot \hom(n, -)) \cong \Phi(F)$$

where the first isomorphism uses the fact that $\Phi$ preserves products, the second and third use cocontinuity of $\Phi$ (I think Buschi Sergio pointed out that the notation $S \cdot G$ indicates a coproduct of copies of $G$ indexed over a set $S$), and the last uses the Yoneda lemma. Being natural in $F$, this shows we have an isomorphism $UV(\Phi) \cong \Phi$ (natural in $\Phi$).

It might help to compare **Kelly's** theory of operads, where a launching point is a universal property of Day convolution:

- If $M$ is a symmetric monoidal category, then the Yoneda embedding $y: M \to Set^{M^{op}}$ is a symmetric monoidal functor (where the codomain has been equipped with the Day convolution product induced from the product on $M$), and is universal among symmetric monoidal functors from $M$ to symmetric monoidally cocomplete categories (meaning the monoidal product preserves colimits in each factor).

Here what we are essentially doing is making the observation/calculation that if the monoidal product on $M$ is the cartesian product, then the induced Day convolution is also the cartesian product, and if we replace "symmetric monoidal" by "cartesian monoidal" throughout the displayed statement, the result again holds. Then, parallel to what Kelly does, we observe that $\text{Fin}^{op}$ (the category opposite to finite sets) is the free cartesian monoidal category on one object (i.e., on the terminal category), analogous to the fact that the finite permutation category $\mathbf{P}$ is the free symmetric monoidal category on one object.

So the idea is just to develop a little theory of cartesian operads parallel to Kelly's approach to ordinary permutative operads, and then observe the essential equivalence between cartesian operads and (finitary) Lawvere theories.

By the way, I wouldn't call this "my theory" -- it's my feeling that all the observations I'm making are already well-known to a lot of people, but it seems to be very hard to find a source where it's all written down. More on this in a moment.

For the second question, it might help to remember that on $Cat$ (2-category of small categories, say), the functor $X^-: Cat^{op} \to Cat$ for a given category $X$ reverses the direction of 1-cells but *preserves* the direction of 2-cells. (This is an easy exercise.) So given say a 2-cell $F G \to H$, we would get an induced 2-cell $X^G X^F \to X^H$. Similarly, if $M$ is a monad on $C$ with multiplication $m: MM \to M$, we get an induced monad (not comonad) on $X^C$ with multiplication $X^m: X^M X^M \to X^M$.

On similar grounds, given a cartesian operad $M$, inducing a (cocontinuous product-preserving) monad $- \odot M: \text{Set}^{\text{Fin}} \to \text{Set}^{\text{Fin}}$, we get an induced *monad*

$$[- \odot M, C]: [\text{Set}^{\text{Fin}}, C] \to [\text{Set}^{\text{Fin}}, C]$$

for any cartesian monoidally cocomplete $C$.

Finally, I'd like to say what spurred me to start writing the note referred to in the OP. It was really this question of Martin Brandenburg, where my answer involved a coend formula for monads $T$ based on a Lawvere theory $\theta$. Martin asked for a proof of the coend formula (which he said he knew in the case where $C = \text{Set}$, but not for general cartesian monoidally cocomplete $C$).

I had tried to explain what was behind the coend formula in a string of comments that appealed to an analogy with ordinary permutative operads -- that there is a completely parallel development for cartesian operads and Lawvere theories. Based on Martin's lack of response to that comment string, it seems my arguments didn't convince him -- and unfortunately I couldn't refer to the literature because I don't know of a place where this is spelled out. (Even though I believe it *has* to be well-known to people who have studied Kelly's work on operads. There's an article by Hyland and Power which comes pretty close to being a reference for what Martin wants, but not quite.)

Thus, I began writing all this stuff down, out of a belief that it's all very soft and conceptual and ought to be recorded. I just hadn't announced it to anyone at MO yet.

Now, spurred by yet another MO question, I may get back to that note (which was left in a slightly incomplete state)!