product category (Q13443840)
product of two categories, in category theory
Language:
Current Data About product category
(P279) (Q18199114)

(Q719395)

(P1889) (Q919107)

(P2534) \begin{aligned}\operatorname{Ob}(C\times D)&=\operatorname{Ob}C\times\operatorname{Ob}D\\\operatorname{Mor}(C\times D)&=\operatorname{Mor}C\times\operatorname{Mor}D\\\operatorname{dom}(f,g)&=(\operatorname{dom}f,\operatorname{dom}g)\\\operatorname{codom}(f,g)&=(\operatorname{codom}f,\operatorname{codom}g)\\(f,g)\circ(f',g')&=(f\circ f',g\circ g')\\1_{(X,Y)}&=(1_X,1_Y)\end{aligned}

(P2579) (Q217413)

(P6104) (Q8487137)

other details