locale theory · pointfree topology
locale theory, pointfree topology
An approach to topology that avoids mentioning points.