A generalization of the Mitchell Lemma: The Ulmer Theorem and the Gabriel–Popescu Theorem revisited

We prove a generalization of the Mitchell Lemma, and we show that it is a key lemma that can be used in order to deduce in a unified easier way several important results. Thus, the Ulmer Theorem, the generalized Gabriel–Popescu Theorem and the generalized Takeuchi Lemma are all consequences of the generalized Mitchell Lemma.