Produkt włóknisty – pojęcie używane w matematyce, dokładniej w teorii kategorii.
Definicja Produktem włóknistym nazywa się, o ile istnieje, granicę diagramu modelowanego na poniższej kategorii
mały|centruj|125x125px
Mówiąc bardziej szczegółowo, w kategorii produktem włóknistym pary morfizmów oraz nazywamy taki obiekt wraz z parą morfizmów że poniższy diagram
centruj|125x125px
jest przemienny oraz dla dowolnego obiektu i dowolnej pary morfizmów takich, że istnieje dokładnie jeden morfizm taki, że poniższy diagram
centruj|226x226px
jest przemienny. Podobnie jak z innymi uniwersalnymi własnościami, produkt włóknisty jeżeli istnieje, to jest jedyny z dokładnością do izomorfizmu.
Bibliografia
Linki zewnętrzne Fibre product of objects in a category , Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2025-12-05].
Kategoria:Teoria kategorii