По итогам разговора

Вслед за алгебраизацией анализа грядет функанализация алгебры. Мы будем, конечно, отбиваться из всех сил, но раньше или позже придется рассматривать векторные пространства, кольца и модули с достаточно нетривиальными топологиями. Пусть даже и такими, которые согласованы только с дискретной топологией основного поля -- сути дела это, кажется, не меняет.