It seems to be "known" but not written down that the following are more-or-less equivalent:
pivotal (and spherical) categories spiders, as defined by Greg Kuperberg planar algebras, as defined by Vaughan Jones non-symmetric modular operads, following Getzler & Kapranov
Then there is also the notion of a $T$-operad where $T$ is a cartesian monad. This was originally defined by Burroni and is the central concept in "Higher operads, higher categories" by MO contributor Tom Leinster.
My question is wether the first example can also be understood using the general theory of $T$-operads?
I don't have any good reason for asking. It is more that my head starts to hurt after contemplating this for any length of time.
For a more specific question: there is a forgetful functor from pivotal categories to directed graphs. I believe this is monadic and that the associated monad is cartesian. If so, we can consider the associated theory of $T$-operads and $T$-multicategories. However, so far, I have not been able to penetrate this definition.