Earlier I’ve conceived an algebraic formula to characterize whether a quasi-uniform space is normal (where normality is defined in Taras Banakh sense, not in the sense of underlying topology being normal). That my formula was erroneous.
Today, I have proved another formula for this (hopefully now correct):
Theorem An endoreloid is normal iff
The above formula also applies to any quasi-uniformity .
The proof of the theorem is currently available in this PDF file.
Read my free ebook to understand formulas like this.