{"id":"arxiv/2606.24909","url":"https://arxiv.org/abs/2606.24909","tags":["cs.LO","math.RA"],"score":0,"title":"Closure Atlases and Local-to-Global Obstructions in Finite Closure Systems","domain":"cs.LO","source":"arxiv","authors":["Jaehwan Kim"],"reviews":0,"subject":"cs.LO","summary":"This paper studies finite closure operators on overlapping finite universes and gives an exact local-to-global obstruction criterion for conservative globalization. Given a finite family of local closure systems, its atlas-generated closure is obtained by repeatedly applying the local closure operators to the parts visible in each chart. This closure is the least global closure operator extending all chart closures. A chart-visible obstruction is a consequence produced by this global propagation that lies inside a chart but is not validated by that chart's own closure operator. The main…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-06-19","reactions":{}}