Petrov category of noncommutative Einstein spaces

We give a definition of Petrov category Petrov-NC-Einst of noncommutative Einstein spaces NC-Einst, which is used for construction of noncommutative topological quantum field theory (NC TQFT). We suggest extensions of these ideas, which may be useful for further development of NC TQFT, and apply them to higher dimensions.