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