çarpım  nedir?

(Alm. Produkt, n; Fr. produit, m; İng. product) 

mat. Bir C kategorisinde {Aa: ??I} nesne ailesi için aşağıdaki şartı sağlayan P nesnesi ve {p?: P › A?: ??I} morfizma ailesinden oluşan (P, {p?: P › A?: ??I}) sıralı çifti: Her B nesnesi ve her { ??: B › A?: ??I} morfizma ailesi için p?°? = ?? olacak şekilde tek bir ? B › P morfizması vardır.