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