High Quality Content by WIKIPEDIA articles! In the mathematical field of category theory, the product of two categories C and D, denoted C x D and called a product category, is a straightforward extension of the concept of the Cartesian product of two sets. For small categories, this is the same as the action on objects of the categorical product in the category Cat. A functor whose domain is a product category is known as a bifunctor. Just as the binary Cartesian product is readily generalized to an n-ary Cartesian product, binary product of two categories can be generalized, completely analogously, to a product of n categories. The product operation on categories is commutative and associative, up to isomorphism, and so this generalization brings nothing new from a theoretical point of view.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.