Closure-Curvature and a Globalization Obstruction on Complete Heyting Lattices
Abstract
We investigate the interaction of closure operators with composition of lattice endomorphisms in complete Heyting lattices. A graded defect invariant is introduced that quantifies curvature accumulation under composition. This invariant provides a necessary condition for the globalization of local closure-compatible transformations, giving a simple obstruction criterion. Illustrative examples highlight the nontriviality of this phenomenon. The note is short (~3 pages) and is intended for mathematicians interested in order theory, logic, and lattice structures.
Fields of Study & Subjects
Advanced Algebra and Logic
Advanced Combinatorial Mathematics
Advanced Topology and Set Theory
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 4 March 2026
- Language
- EN
- Document type
- Preprint