Coba jelasin Lihat pula dari Produk (teori kategori) dong

Funktor diagonal - ujung kiri dari fungsi produk.

Definition 2.1.1 in Handbook of categorical algebra. Encyclopedia of mathematics and its applications 50–51, 53 [i.e. 52]. Volume 1. Cambridge University Press. p. 39. ISBN 0-521-44178-1.