Konstkategori

Kategorin för en produkt  är en kategori som erhålls från de ursprungliga kategorierna med hjälp av deras produkt - en operation som generaliserar konceptet med den kartesiska produkten av uppsättningar .

Definition

Kategorin för en C × D- produkt definieras enligt följande:

Precis som för mängder generaliserar definitionen på ett trivialt sätt till produkten av n kategorier. Produktdriften är kommutativ och associativ, upp till isomorfism.

Samband med andra kategoriska begrepp

En funktor vars domän är kategorin för en produkt kallas en bifunktor . En av de viktigaste funktionerna av denna typ är Hom-funktorn .

Litteratur