WikiDer > Консервативный функтор

Conservative functor

В теория категорий, филиал математика, а консервативный функтор это функтор такой, что для любого морфизм ж в C, F(ж) будучи изоморфизм подразумевает, что ж является изоморфизмом.

Примеры

В забывчивые функторы в алгебра, например, из Grp к Набор, консервативны. В более общем плане каждый монадический функтор консервативен.[1] Напротив, забывчивый функтор из верхний к Набор не консервативен, потому что не каждый непрерывная биекция это гомеоморфизм.

Каждый верный функтор из сбалансированная категория консервативен.[2]

Рекомендации

  1. ^ Риль, Эмили (2016). Теория категорий в контексте. Courier Dover Publications. ISBN 048680903X. Получено 18 февраля 2017.
  2. ^ Грандис, Марко (2013). Гомологическая алгебра: в сильно неабелевых условиях. Всемирный научный. ISBN 9814425931. Получено 14 января 2017.

внешняя ссылка