product category

product of two categories, in category theory

Categories: