Koprodukt włóknisty

Koprodukt włóknisty – pojęcie używane w matematyce, dokładniej w teorii kategorii. Jest pojęciem dualnym do produktu włóknistego.

Definicja

Koproduktem włóknistym w kategorii $𝒞$ nazywa się, o ile istnieje, kogranicę diagramu składającego się z dwóch morfizmów $f:Z\to X,g:Z\to Y.$ Mówiąc dokładniej, koprodukt włóknisty składa się z obiektu $P\in Ob(𝒞)$ oraz morfizmów $i_1:X\to P,i_2:Y\to P$ takich, że:

a) diagram

jest przemienny oraz

b) dla dowolnego obiektu $Q\in Ob(𝒞)$ i dowolnych morfizmów $j_1:X\to Q,j_2:Y\to Q$ takich, że $j_{1}f=j_{2}g$ istnieje dokładnie jeden taki morfizm $u:P\to Q,$ że poniższy diagram

jest przemienny. Koprodukt włóknisty jeżeli istnieje, to jest jedyny z dokładnością do izomorfizmu.