What is the meaning of Categorical_product?

The limit of two (or more) objects, considered without regard to any arrows between them.

Source: wiktionary.org