Fibrantowy obiekt
W matematyce , szczególnie w teorii homotopii w kontekście kategorii modelowej M , włóknisty obiekt A z M to obiekt , który ma włóknienie względem końcowego obiektu kategorii .
Nieruchomości
Obiekty fibrantowe zamkniętej kategorii modeli charakteryzują się posiadaniem odpowiedniej właściwości podnoszenia w odniesieniu do wszelkich trywialnych kofibracji w kategorii. Ta właściwość sprawia, że obiekty fibrantowe są „poprawnymi” obiektami, na których można zdefiniować grupy homotopii . W kontekście teorii zbiorów uproszczonych obiekty fibrantowe są znane jako kompleksy Kan od Daniela Kana . Są to fibracje Kan nad punktem.
, zdefiniowanego jako obiekt taki, że unikalny morfizm początkowego do jest kofibracją do .
- PG Goerss i JF Jardine, Uproszczona teoria homotopii , Progress in Math., Cz. 174, Birkhauser, Boston-Bazylea-Berlin, 1999. ISBN 3-7643-6064-X .