Closure-Curvature and a Globalization Obstruction on Complete Heyting Lattices
Description
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.
Files
Closure--Curvature and a Globalization Obstruction on Complete Heyting Lattices.pdf
Files
(181.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:1e6ad081627d5339a637c7ffd9cdfa12
|
181.7 kB | Preview Download |