I recently proved the following conjecture (now a theorem):
Theorem for every set
and every
where
is the set of filter objects on some set
.
This theorem is a direct consequence of the following lemma:
Lemma is a lower adjoint of
for every set
.
Proof That and
are monotone is obvious.
We need to prove (for every ) that
and
.
Really,
and