This website is currently being designed as an experiment in mathematical visualization employing generative artificial intelligence tools. The contents for the website were written by R.N. Almeida; since an LLM was employed, artifacts and local bits of text might appear which were not intended; these will in the near future be replaced by human written text.
The topic of the website is, broadly speaking, frames, spaces, and dual representations of structures related to Heyting algebras, especially Esakia spaces.
It is maintained by Rodrigo Nicolau Almeida. For information, suggestions or feedback, please contact him.