---
title: Hyper–MacNeille Completion
url: https://www.emergentmind.com/topics/hyper-macneille-completion
type: topic
---

# Hyper–MacNeille Completion

The hyper–MacNeille completion is a categorical lattice-theoretic construction on Heyting algebras that associates to any Heyting algebra a specific complete extension, generalizing the classical MacNeille completion in a manner attuned to algebraic proof theory and dualities for non-classical logics. It is defined via Galois connections on the cartesian square of a Heyting algebra and is characterized, up to isomorphism, as the MacNeille completion of a canonical centrally supplemented extension of the original algebra. The construction has consequences for the structure theory of Heyting algebras, the closure properties of their varieties, and the algebraic underpinnings of hypersequent calculi.

## 1. Foundational Notions: Heyting Algebras and Standard MacNeille Completion

A Heyting algebra is a bounded distributive lattice $(H, \land, \lor, \to, 0, 1)$ where $\to$ is a binary operation satisfying the residuation property: $a\land b \leq c$ if and only if $a \leq (b\to c)$ for $a,b,c\in H$. The MacNeille completion $\overline{H}$ of $H$ is the smallest complete lattice into which $H$ embeds join- and meet-densely. This completion can be realized as the lattice of all Galois-closed subsets (cuts) of $H$ with respect to the order $\le$, making $\overline{H}$ universal among complete lattice extensions of $H$ that preserve meets and joins [1912.09166].

## 2. Supplements, Pseudo-Complements, and Central Elements

For a bounded distributive lattice $D$, the pseudo-complement of $a$ is $a^* = \max \{x \in D : a\land x=0\}$, while the dual pseudo-complement (supplement) is $a^+ = \min \{x \in D : a \lor x = 1\}$. A lattice is supplemented if every element has a supplement. Centrality of supplements is defined by $a^+$'s being a complemented element; that is, $a^+ \in Z(H)$, the center of the lattice. The dual Stone law, $(a\lor b)^+ = a^+ \land b^+$, and the inclusion of all supplements in $Z(H)$ are equivalent in this context. If every element's supplement is central, the algebra is centrally supplemented [1912.09166].

## 3. Construction of the Hyper–MacNeille Completion

Given a Heyting algebra $A$, consider $W = A\times A$ and define a binary relation $N$ on $W\times W$:
\[
(s,a)\;N\;(t,b) \iff s\lor t\lor(a\to b)=1.
\]
Let $L$ and $U$ denote the Galois operators induced by $N$. The hyper–MacNeille completion $A^+$ is then the lattice of Galois-closed subsets of $W$: $A^+ = \{ X \subseteq W : X=L\,U(X)\}$. With pointwise lattice operations and suitably defined implication,
\[
X\to Y = \{ w\in W : \forall v\in X,\ v\circ w\in Y \}
\]
for $X,Y\subseteq W$, $A^+$ forms a complete Heyting algebra extending $A$ [1912.09166].

## 4. Centrally Supplemented Extensions and the Main Theorem

To analyze $A^+$, construct the centrally supplemented extension $S(A)$ of $A$:
- Let $Y$ be the set of minimal prime filters of $A$.
- For each $y\in Y$, define the congruence
  \[
  \theta_y = \{(a,b)\in A^2 : \exists c\in y,\ a\land c = b\land c \}
  \]
  and set $A_y = A/\theta_y$ (which is finitely subdirectly irreducible and centrally supplemented).
- Form $P(A) = \prod_{y\in Y}A_y$, and let $S(A) \subseteq P(A)$ be the subalgebra generated by the diagonal copy of $A$.

$S(A)$ is centrally supplemented, the embedding $A \hookrightarrow S(A)$ is subdirect and essential, and $S(A)$ lies in the same variety as $A$. Importantly, any homomorphism $h: A \rightarrow E$ into a centrally supplemented Heyting algebra $E$ extends uniquely to $S(A)\rightarrow E$. The main structural result is:
\[
A^+ \cong \overline{S(A)},
\]
where $\overline{S(A)}$ denotes the MacNeille completion of $S(A)$, realizing $A^+$ as the "MacNeille completion of a centrally supplemented extension" [1912.09166].

## 5. Relationship with Varieties and Boolean-Product Representations

If $V$ is a variety of Heyting algebras generated by a finite Heyting algebra $E$, then any algebra $A$ in $V$ has its centrally supplemented extension $S(A)$, and so $A^+ = \overline{S(A)}$ also lies in $V$. Stalks of the sheaf representation of $S(A)$ carry at most $|E|$ elements on a dense open set. The extension $S(A)$ admits a representation as a weak Boolean product of its factors $A_y$, with indexing by the Stone space of central ultrafilters. Conversely, any Boolean-product representation of $A$ with finitely subdirectly irreducible stalks recovers a centrally supplemented structure. Thus, the hyper–MacNeille procedure preserves finitary variety structure and is closely related to Boolean-product decompositions [1912.09166].

## 6. Explicit Example and Illustrative Case

For the three-element chain $A = \{0<a<1\}$:
- The minimal prime filters are $Y = \{\{1\}, \{a,1\}\}$.
- The quotients $A_{\,\{1\}}\cong\mathbf{2}$ and $A_{\,\{a,1\}}\cong\mathbf{3}$.
- Thus, $P(A) = \mathbf{3}\times\mathbf{2}$, and $S(A)$, generated by $A$, equals the full product.
- $S(A)$ is centrally supplemented, and the MacNeille completion of $S(A)$ is itself, giving $A^+ \cong S(A) \cong \mathbf{3}\times\mathbf{2}$.
- The original $A$ embeds diagonally, with computations in $A^+$ agreeing with the Galois-closed-subset description [1912.09166].

## 7. Significance in Algebraic Proof Theory

The hyper–MacNeille completion provides a uniform algebraic semantics for cut-free hypersequent calculi in substructural logics. By embedding any Heyting algebra into a complete, centrally supplemented extension whose MacNeille completion matches the proof-theoretic frame, this method yields a purely algebraic account of cut-admissibility and related structural rules in non-classical logics. This suggests deeper categorical and algebraic connections between the semantic and syntactic structure of substructural logics and the intrinsic order-completion procedures on their algebraic semantics [1912.09166].

Source: https://www.emergentmind.com/topics/hyper-macneille-completion