ABSTRACT

Quasi-monadic categories over Set are characterized by means of the existence of a regular projective generator. This result is used to describe k- permutability of equivalence relations.