Coba jelasin Sifat universal dari Produk (teori kategori) dong

Sebagaimana limit adalah kasus khusus dari konstruksi universal, begitu pula produknya. Dimulai dengan definisi yang diberikan untuk sifat universal dari limit, ambillah  sebagai kategori diskrit dengan dua objek, sehingga  adalah produk kategori  Fungsi diagonal  denganpasangan berurutan  ke setiap objek  dan morfisme  pasangan  . Produk  dalam  diberikan oleh morfisme universal dari functor  ke objek  dalam  Morfisme universal ini terdiri dari objek  dari  dan morfisme  yang berisi proyeksi.