Koprodukt

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Koprodukt – pojęcie w teorii kategorii będące uogólnieniem sumy rozłącznej zbiorów i zewnętrznej sumy prostej przestrzeni liniowych. Koprodukt jest konstrukcją dualną do produktu.

Definicja[edytuj]

Koproduktem obiektów nazywamy obiekt oznaczany (niekiedy też ) wraz z morfizmami i taki, że dla każdego obiektu i morfizmów i istnieje dokładnie jeden morfizm taki, że i .

Przykłady[edytuj]

  • W kategorii Set koproduktem zbiorów i jest suma rozłączna zbiorów i wraz z włożeniami i
  • W posecie traktowanym jako kategoria koproduktem elementów jest .

Zobacz też[edytuj]