A note on domain representability and formal topology
Erik Palmgren · 2007
Two common approaches to constructive and effective topology are connected by showing that formal topologies have canonical representation in terms of Scott domains. Moreover a map lifting theorem for the representation is proved.