Non-Archimedean operator theory. (2016)