stringtranslate.com

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

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

Примером функтора, который не является амнестическим, является забывающий функтор Met cTop из категории метрических пространств с непрерывными функциями для морфизмов в категорию топологических пространств . Если и — эквивалентные метрики на пространстве, то — изоморфизм, покрывающий тождество, но не являющийся тождественным морфизмом (его область определения и область кодоместа не равны).

Ссылки