Амнестический функтор

В математической области теории категорий F амнестический функтор : A → B — это функтор , для которого A - изоморфизм ƒ является тождеством всякий раз, когда Fƒ является тождеством.

функтора Примером неамнестического является функтор забывания Met _c → Top из категории метрических пространств с непрерывными функциями для морфизмов в категорию топологических пространств . Если $d_{1}$ и $d_{2}$ являются эквивалентными метриками в пространстве $X$ затем $\operatorname {id} \colon (X,d_{1})\to (X,d_{2})$ является изоморфизмом, который покрывает тождество, но не является тождественным морфизмом (его область определения и кодомен не равны).

Ссылки

• «Абстрактные и конкретные категории. Кошачья радость» . Иржи Адамек, Хорст Херрлих, Джордж Э. Стрекер.