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