Product category

In the mathematical field of category theory, the product of two categories C and D, denoted C × D and called a product category, is an extension of the concept of the Cartesian product of two sets. Product categories are used to define bifunctors and multifunctors.[1]

  1. ^ Mac Lane 1978, p. 37.

© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search