home | mathematics | basic picture | principles and summary ::... 1 | 2 | 3

This is the key result which, together with the notion of overlap algebra (a predicative version of complete Heyting algebras obtained by adding an algebraic version of overlap), makes it possible to express the basic picture and formal topology in purely algebraic terms. Thus one reaches a general, algebraic version of topology, which is minimalist in the strict sense that it is really independent on the choice of foundations.