Консервативный функтор
В теории категорий , разделе математики , консервативный функтор — это функтор. что для любого морфизма f в C такой , из F ( f ) изоморфизма следует , что f является изоморфизмом.
Примеры [ править ]
в Забывчивые функторы алгебре , такие как от Grp до Set , консервативны. В более общем смысле каждый монадический функтор консервативен. [1] Напротив, функтор забывчивости от Top до Set не является консервативным, поскольку не каждая непрерывная биекция является гомеоморфизмом .
Каждый точный функтор из сбалансированной категории консервативен. [2]
Ссылки [ править ]
- ^ Риль, Эмили (2016). Теория категорий в контексте . Публикации Courier Dover . ISBN 048680903X . Проверено 18 февраля 2017 г.
- ^ Грандис, Марко (2013). Гомологическая алгебра: в сильно неабелевых условиях . Всемирная научная . ISBN 9814425931 . Проверено 14 января 2017 г.