Lemmas in category theory

In category theory, the term "lemma" is not a formal term with a specific definition, but rather refers to a proposition or statement that is proved and used as an aid in the proof of a larger theorem. In the context of mathematical writing, lemmas serve to break down complex arguments into smaller, more manageable parts.