Will add more stuff relating topomorphisms to continuous maps and homorphisms to open continuous maps, as well as a bit about category theoretic formalism for whats going on. In time will add history section.
- 13 Oct 2004
Ok I removed the TeX because it was just too ugly, please don't bring it back. I've made all xs and ys italic. 28 Sep 2004
What do you guys think about the change to TeX? Personally I think it makes the page look ugly. Also why the use of the |-> its not the way one normally writes the signature of an algebra? 26 Sep 2004
Why did someone add the word "fake" to the end of the Heyting algebras section? Some gripe against intuitionistic logic???? 24 Sep 2004
Say something connecting this to closure operator? Charles Matthews 09:49, 17 Sep 2004 (UTC)