Strict extensions in pointfree topology

Extensions of spaces have been constructed and used since the 19th century, for example, to form the complex sphere from the complex plane by adding a point at in nity. Once topological spaces were invented in the 20th century, completions and compactications became important examples of extensions....

Full description