Limit langsung itu apa sih?

Dalam matematika, limit langsung adalah cara untuk membangun objek (biasanya besar) dari banyak objek (biasanya lebih kecil) yang disatukan dengan cara tertentu. Objek ini mungkin grup, gelanggang, ruang vektor atau dalam objek umum dari kategori. Cara mereka disatukan ditentukan oleh sistem homomorfisme (homomorfisme kelompok, homomorfisme gelanggang, atau secara umum morfisme dalam kategori) di antara objek-objek yang lebih kecil. Limit langsung benda , di mana  berkisar di beberapa himpunan terarah , dilambangkan dengan . (Ini adalah sedikit penyalahgunaan notasi karena menekan sistem homomorfisme yang penting untuk struktur batas.)

Batas langsung adalah kasus khusus dari konsep kolom di teori kategori. Limit langsung adalah ganda sampai limit invers yang juga merupakan kasus khusus limit dalam teori kategori.