Wiktionary
categorical product
n. (context mathematics English) A structure constructed from several similar structures, equipped with appropriate (l/en: projection) maps, which generalises the (l/en: Cartesian product) of sets, product of topological spaces and (l/en: direct product) of (l/en group groups)