paper

All topologies come from a family of 0-1 valued quasimetrics

arXiv:1708.05692

Abstract

We prove the statement in the title.