Комментарий
Наверное если топологию (неважно чего) описывать в терминах теории категорий, то польза будет http://users1.univer.omsk.su/guts/pub/n323.pdf
Но вот это ограничение в порождении "протекающих топологий" по моему не так хорошо как кажется. Из разрешения таких конфликтов развитие системы категорий на которой построена система изучаемая собственно изучение и стоит.