Weβll say that a (weighted) graph morphism is a covering, iff it is a surjective local isomorphism, i.Β e.Β for each vertex there is a vertex such that
(6.1) |
and each vertex satisfying ( 6.1 ) has the same count ( and weights) of both incoming and outcoming edges starting or ending in as the edges starting and ending in .
We say that is a braided βmodule (or, simply braided module), if is equiped with a structure of βmodule and of βmodule, and these structures are related as
(5.1) |
for any , and .
Let be a differentiable manifold. A Poisson bracket (PB) on is a bilinear mapping that satisfies ( )
Skew-symmetry
(6.1) |
Leibnizβs rule,
(6.2) |
Jacobi identity
(6.3) |
A PB on defines a PS.