No, not that I know of. You're of course right that what exists today are approximations. But the maps can be made to work for any given n, so we can pretend th

No, not that I know of. You're of course right that what exists today are approximations. But the maps can be made to work for any given n, so we can pretend they're 'real'.