We demonstrate a one-to-one correspondence between idempotent closure operators and the so-called saturated quasi-uniform structures on a category C. Not only this result allows to obtain a categorical counterpart P of the Császár-Pervin quasiuniformity P, that we characterize as a transitive quasi-uniformity compatible with an idempotent interior operator, but also permits to describe those topogenous orders that are induced by a transitive quasi-uniformity on C. The categorical counterpart P * of P −1 is characterized as a transitive quasi-uniformity compatible with an idempotent closure operator. When applied to other categories outside topology P allows, among other things, to generate a family of idempotent closure operators on Grp, the category of groups and group homomorphisms, determined by the normal closure.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.