Limit langsung

Dalam matematika, limit langsung adalah cara untuk membangun objek dari banyak objek 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 di antara objek-objek yang lebih kecil. Limit langsung benda A i , di mana i berkisar di beberapa himpunan terarah I , dilambangkan dengan lim → ⁡ A i . 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.