Jelaskan Definisi umum dari Limit invers

Sama seperti definisi sebelumnya, limit invers dapat didefinisikan secara abstrak dalam kategori sebarang dengan menggunakan sifat universal. Misalkan  adalah sistem invers dari objek dan morfisme di kategori . Limit invers dari sistem invers merupakan objek  di  dan juga dengan morfisme  (yang disebut proyeksi) memenuhi sifat  untuk semua . Pasangan  harus universal, dalam artian bahwa untuk setiap pasangan lain , maka ada morfisme unik  sehingga diagram berikut

komutatif untuk setiap . Jadi, limit invers seringkali dinyatakan sebagai