categorical product in Polish
categorical product in Polish
produkt
(mathematics) The limit of two (or more) objects, considered without regard to any arrows between them.