Koprodukt

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

Koproduktem obiektów $A,B\in C$ nazywamy obiekt oznaczany $A+B$ (niekiedy też $A\bigsqcup B$) wraz z morfizmami $w_A:A\to A+B$ i $w_B:B\to A+B$ taki, że dla każdego obiektu $P\in C$ i morfizmów $f:A\to P$ i $g:B\to P$ istnieje dokładnie jeden morfizm $h:A+B\to P$ taki, że $f=h\circ w_A$ i $g=h\circ w_B.$

Przykłady

• W kategorii Set koproduktem zbiorów $A$ i $B$ jest suma rozłączna zbiorów $A$ i $B$ wraz z włożeniami $w_A(x)=(x,0)$ i $w_B(x)=(x,1)$
• W kategorii Top${}_{\diamond }$ przestrzeni topologicznych $X$ z wyróżnionymi punktami bazowymi $x^{\diamond }\in X$ i przekształceń ciągłych zachowujących punkty bazowe, dla dowolnych obiektów $(A,a^{\diamond })$ i $(B,b^{\diamond })$ przestrzeń $A\vee B$ złożona z wszystkich par $(a,b)$ takich, że $a=a^{\diamond }$ lub $b=b^{\diamond },$ jest ich koproduktem.
• W posecie $(P,⩽)$ traktowanym jako kategoria koproduktem elementów $a,b$ jest $\sup \{a,b\}.$

Zobacz też

• funktory sprzężone
• produkt
• zagadnienia jednoznacznej faktoryzacji

Linki zewnętrzne

• Szablon:Otwarty dostęp Coproduct Szablon:Lang, Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2024-04-05].