Source: wikibot/lemmas-in-category-theory
= Lemmas in category theory
{wiki=Category: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.