范畴的等价
维基百科,自由的 encyclopedia
在数学的一个抽象分支范畴论中,范畴的等价(equivalence of categories)是两个范畴间的一个关系,在这种关系之下的范畴是“本质上一样的”。从数学的许多地方都有范畴等价的例子。建立一个等价涉及展示所考虑的数学结构间很强的相似性。在许多情形,这些结构表面或直觉上看并无关联,这样就使这种概念特别有用:它提供了在不同数学结构之间翻译的可能性,本质一语是指在翻译中保持的定理。
如果一个范畴等价于另一个范畴的反范畴,则我们说“范畴的对偶性”,以及这两个范畴对偶等价。
范畴的等价由所涉范畴的一个函子组成,这个函子要求有一个“逆”函子。但与通常代数语境的同构不同,这个函子与它的逆不必是恒等映射,二只要每个对象自然同构与在此复合函子下的像。从而我们可以说这个函子是差一个同构下的逆。这实际上是范畴的同构的概念,其中要求逆函子的严格性质,但这比“等价”概念用得要少。