In category theory, the above notion of cartesian product of sets can be generalized to arbitrary categories.
W teorii kategorii powyższe pojęcie iloczynu kartezjańskiego zbiorów może być uogólnione na arbitralne kategorie.