Towards a topological–geometrical theory of group equivariant non-expansive operators for data analysis and machine learning