Category equivalence
Category isomorphism
(的なcategory)のisomorphismのこと。つまり、
- and
なるfunctor のこと。
このような
は存在すればuniqueである。
命題
この要件が厳しすぎるのでゆるくするということ(らしい)。
Category equivalence
- and
*1
なるfunctor のこと。
このような
はuniqueとは限らない(らしい)。
Essentially surjective functor
なるfunctor のこと。 Isomorphism-dense functorともいう。
命題
Equivalent categories
間にequivalenceが存在するような二つのcategoryのこと。
参考文献
- Essentially surjective functor - Wikipedia, the free encyclopedia
- equivalence of categories in nLab
- a functor is an equivalence iff it is fully faithful and essentially surjective | planetmath.org
- Adjoint functors « The Unapologetic Mathematician
*1:functor categoryにおいてisomorphic