We provide a framework to deal with "diagrammatic" operadic actions in Cat,
i.e. actions given by compositions of diagrams, rather than strings of objects.
We achieve this by introducing a monoidal structure on the category of small
diagrams in Cat, which generalizes simultaneously the composition product of
collections in the theory of operads, and the semi-direct product of groups.
Familial operads are given then as monoids with respect to this monoidal
structure, and algebras are defined as categories, carrying actions of such
monoids.
The construction (by Kapranov) of the space of infinitesimal paths on a
manifold is extended to include higher dimensional infinitesimal objects,
encoding contractions of infinitesimal loops. This full infinitesimal groupoid
is shown to have the algebra of polyvector fields as its non-linear cohomology.
The theory of operads, defined through categories of labeled graphs, is
generalized to suit definitions of higher categories with arbitrary basic
shapes. Constructions of cubical, globular and opetopic weak higher categories
are obtained as examples.
The theory of operads, defined through categories of labeled graphs, is
generalized to suit definitions of higher categories with arbitrary basic
shapes. Constructions of cubical, globular and opetopic weak higher categories
are obtained as examples.