hgr

пытаюсь разобраться, но вижу, что интересующий меня вопрос -- то ли просто далеко не мейнстрим, то ли не разрабатывается вообще.

вот подробный обзор по топологической теории графов, а вот энциклопедические статьи (раз, два).

там графы встраиваются в обыкновенную топологию (все время речь об embedding графов в разные surfaces, иногда многомерные), и от графа переходят к его "геометрической реализации".

а мне нужна такая топология, чтобы без всякой (геометрической) реализации.

такая бывает?

очень прошу ответить ссылками на литературу или хотя бы ключевые слова для поиска.