Lema Lima Pendek adalah sebuah pernyataan mengenai kategori Abelian. Untuk mendefinisikan kategori Abelian, perlu dibahas mengenai kategori. Teori kategori adalah sebuah teori yang memberikan konteks untuk menyatukan berbagai macam struktur matematis. Suatu kategori terdiri atas sebuah koleksi berisi objek beserta himpunan-himpunan berisi morfisma sedemikian sehingga beberapa aksioma terpenuhi. Sebuah kategori dapat digambarkan sebagai sebuah diagram berpanah dengan setiap panah dipandang sebagai sebuah morfisma. Pada teori kategori, beberapa konsep seperti produk dan kernel dapat didefinisikan. ... "
