  The theory of operads (May, cyclic, modular, PROPs, etc) is extended to
include higher dimensional phenomena, i.e. operations between operations,
mimicking the algebraic structure on varieties of arbitrary dimensions, having
marked subvarieties of arbitrary codimension.
