The sheaf condition on a design presheaf over an architectural site is equivalent to pairwise overlap compatibility and yields unique global designs from compatible local ones, with the equivalence machine-verified in Lean 4.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Sheaves as a Means of Maintaining Consistency in Model-based Systems Engineering
The sheaf condition on a design presheaf over an architectural site is equivalent to pairwise overlap compatibility and yields unique global designs from compatible local ones, with the equivalence machine-verified in Lean 4.