Bivariant operadic categories

We develop a self-dual, bivariant extension of the concept of an operadic category, its associated operads and their algebras. Our new theory covers, besides all classical subjects, also generalized traces and bivariant versions of Kapranov’s charades. It is, moreover, combinatorially rich and aesthetically pleasing.