Noun
categorical product (plural categorical products)
(mathematics) The limit of two (or more) objects, considered without regard to any arrows between them.
The categorical product generalises the Cartesian product of sets, product of topological spaces and direct product of groups.