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 Mówiąc dokładniej, koprodukt włóknisty składa się z obiektu oraz morfizmów takich, że:
a) diagram centruj|125px jest przemienny oraz
b) dla dowolnego obiektu i dowolnych morfizmów takich, że istnieje dokładnie jeden taki morfizm że poniższy diagram centruj|225px jest przemienny. Koprodukt włóknisty jeżeli istnieje, to jest jedyny z dokładnością do izomorfizmu.
Przypisy
Linki zewnętrzne Fibre product of objects in a category , Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2025-12-05].
Kategoria:Teoria kategorii