categorical product

noun1

1. •
   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.