produkt (teoria kategorii)

Produkt – w teorii kategorii pojęcie będące uogólnieniem konstrukcji produktu kartezjańskiego zbiorów, produktu grup, czy produktu przestrzeni topologicznych; jest to „najogólniejszy” obiekt mający morfizm w każdy z obiektów objętych tą konstrukcją (czynników). Konstrukcją dualną do produktu jest koprodukt.