Lemmas in category theory