Published March 4, 2026 | Version 1
Preprint Open

Closure-Curvature and a Globalization Obstruction on Complete Heyting Lattices

  • 1. Arcstone Adaptive Science Systems

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