Jabarkan Kategori produk dari Kategori (matematika)

Jika  C  dan  D  adalah kategori, seseorang dapat membentuk  kategori produk   C  ×  D : Objek adalah pasangan yang terdiri dari satu objek dari  C  dan satu dari  D , dan morfismenya juga berpasangan, terdiri dari satu morfisme dalam  C  dan  D . Grup disusun secara komponen.