📚 Recommended Mathematics Books
Topology (Munkres) | General Topology (Engelking) | Counterexamples in Topology | Rudin's AnalysisAs an Amazon associate, I earn from qualifying purchases.
The following is a conjecture:
Conjecture The set of pointfree funcoids between two boolean lattices is itself a boolean lattice.
Today I have proved its special case:
Theorem The set of pointfree funcoids between a complete boolean lattice and an atomistic boolean lattice is itself a boolean lattice.
It is a very weird theorem because of its asymmetric conditions.
My proof (preluded with some special cases for better readability) is presented in this PDF file. Note that in the future I am going to more it from this file to my book.
🔬 Advanced Mathematics References
- Sheaves in Geometry and Logic
- Categories for the Working Mathematician
- Stone Spaces
- Algebraic Topology (Hatcher)
- Concrete Mathematics
As an Amazon associate I refer fromm qualifying purchases.