About: Equivalence of categories

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Equivalence of categories Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Agent, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FEquivalence_of_categories

In category theory, a branch of abstract mathematics, an equivalence of categories is a relation between two categories that establishes that these categories are "essentially the same". There are numerous examples of categorical equivalences from many areas of mathematics. Establishing an equivalence involves demonstrating strong similarities between the mathematical structures concerned. In some cases, these structures may appear to be unrelated at a superficial or intuitive level, making the notion fairly powerful: it creates the opportunity to "translate" theorems between different kinds of mathematical structures, knowing that the essential meaning of those theorems is preserved under the translation.

Attributes	Values
rdf:type	agent
rdfs:label	Äquivalenz (Kategorientheorie) (de) Equivalence of categories (en) Équivalence de catégories (fr) 圏同値 (ja) 범주의 동치 (ko) Equivalentie (categorietheorie) (nl) Equivalência de categorias (pt) Эквивалентность категорий (ru) 范畴的等价 (zh)
rdfs:comment	Die Äquivalenz von Kategorien ist eine Beziehung, die im mathematischen Teilgebiet der Kategorientheorie zwischen zwei Kategorien bestehen kann. Zwei äquivalente Kategorien haben dieselben kategoriellen Eigenschaften. Viele wichtige mathematische Theorien behaupten die Äquivalenz zweier Kategorien. (de) 범주론에서, 두 범주 사이의 동치(同値, 영어: equivalence (of categories))는 두 범주가 사실상 같은 구조를 지니게 하는 함자이다. 범주의 동형보다 더 약한 개념이며, 범주의 동형보다 더 널리 쓰인다. (ko) 数学、とりわけ圏論において、圏同値（けんどうち、英: equivalence of categories）とはふたつの圏が「本質的には同じである」という関係のことをいう。多くの分野で圏同値の例がある。圏同値を示すことで、対象になっている数学的な構造の間に強い相関関係があることがわかる。場合によっては、その構造は表面的には無関係に見えるので、圏同値は有用である；つまりある定理を異なる数学的構造の定理に「翻訳」できることがある。もしある圏が別の圏の双対圏と圏同値ならば、ふたつの圏は双対同値と言い、圏双対について論じることができる。圏同値は圏の間の「可逆な」関手から成る。しかしながら代数的な設定の下における同型とは異なり、関手とその「逆関手」の合成が恒等写像である必要はない。その代わりに各対象が合成の像と自然同型であればよい。そのため、このことはふたつの関手が「同型を除いて逆関手」であると言われたりする。実際にという概念もあり、こちらは本当に関手が逆関手であることを要求するが、圏同値の概念に比べると実用性を欠く。 (ja) In de categorietheorie, een abstract deelgebied van de wiskunde, is een equivalentie van categorieën een relatie tussen twee categorieën, die vaststelt dat deze categorieën "in essentie gelijk" zijn. Er zijn talrijke voorbeelden van categoriale equivalenties uit vele gebieden van de wiskunde. Het vaststellen van een equivalentie impliceert sterke gelijkenissen tussen de betrokken wiskundige structuren. In sommige gevallen kunnen deze structuren op oppervlakkig of intuïtief niveau ongerelateerd lijken; hierdoor wint de notie van equivalentie in de categorietheorie aan kracht: de notie creëert de mogelijkheid om stellingen tussen verschillende soorten van wiskundige structuren te "vertalen", wetende dat de essentiële betekenis van deze stellingen onder deze vertaling bewaard blijft. (nl) Na teoria das categorias, equivalência de categorias é o conceito "correto" para dizer se categorias são "essencialmente as mesmas". Assim como objetos numa categoria são comparados não por serem iguais ou não, mas por haver ou não isomorfismos entre eles, e são equivalentes quando são relacionadas por dois functores que são inversos a menos de isomorfismos naturais. (pt) Эквивале́нтность катего́рий в теории категорий — отношение между категориями, показывающее, что две категории «по существу одинаковы». Установление эквивалентности свидетельствует о глубокой связи соответствующих математических концепций и позволяет «переносить» теоремы с одних структур на другие. (ru) 在数学的一个抽象分支范畴论中，范畴的等价（equivalence of categories）是两个范畴间的一个关系，在这种关系之下的范畴是“本质上一样的”。从数学的许多地方都有范畴等价的例子。建立一个等价涉及展示所考虑的数学结构间很强的相似性。在许多情形，这些结构表面或直觉上看并无关联，这样就使这种概念特别有用：它提供了在不同数学结构之间翻译的可能性，本质一语是指在翻译中保持的定理。如果一个范畴等价于另一个范畴的，则我们说“范畴的对偶性”，以及这两个范畴对偶等价。范畴的等价由所涉范畴的一个函子组成，这个函子要求有一个“逆”函子。但与通常代数语境的同构不同，这个函子与它的逆不必是恒等映射，二只要每个对象与在此复合函子下的像。从而我们可以说这个函子是差一个同构下的逆。这实际上是的概念，其中要求逆函子的严格性质，但这比“等价”概念用得要少。 (zh) In category theory, a branch of abstract mathematics, an equivalence of categories is a relation between two categories that establishes that these categories are "essentially the same". There are numerous examples of categorical equivalences from many areas of mathematics. Establishing an equivalence involves demonstrating strong similarities between the mathematical structures concerned. In some cases, these structures may appear to be unrelated at a superficial or intuitive level, making the notion fairly powerful: it creates the opportunity to "translate" theorems between different kinds of mathematical structures, knowing that the essential meaning of those theorems is preserved under the translation. (en) En mathématiques, plus précisément en théorie des catégories, une équivalence de catégories est une relation qui établit que deux catégories sont "essentiellement les mêmes". C'est un foncteur entre les deux catégories, qui prend compte formellement du fait que ces catégories relèvent d'une même structure : on dit alors que les catégories sont équivalentes. À la différence de la notion d'isomorphisme de catégories, la notion d'équivalence est moins rigide, plus pratique et plus courante. (fr)
dcterms:subject	Equivalence (mathematics) Adjoint functors Category theory
Wikipage page ID	379051 (xsd:integer)
Wikipage revision ID	1086116449 (xsd:integer)
Link from a Wikipage to another Wikipage	Prime ideal Epimorphism Monomorphism Product category Homotopy type theory Regular category Vector space Affine scheme Equivalence (mathematics) Compact space Mathematics Matrix (mathematics) Essentially surjective functor Gelfand representation Natural transformation Class (set theory) Full functor Coproduct Equaliser (mathematics) Equivalent definitions of mathematical structures Limit (category theory) Stone's representation theorem for Boolean algebras Stone space Commutative ring Zero object Functional analysis Functor Partial function Pointless topology Spectrum of a ring Maximal ideal Additive category Adjoint functors Adjoint functors Topology Dual (category theory) Hausdorff space Representation theorem Stone duality Additive functor Algebraic geometry Faithful functor Isomorphism Isomorphism of categories Product (category theory) Ring (mathematics) Group (mathematics) Terminal object Preadditive category Surjective Category theory Abelian category Kernel (category theory) Birkhoff's representation theorem Cokernel Topos Axiom of choice Boolean algebra (structure) C*-algebra If and only if Initial object Cartesian closed category Category (mathematics) Category theory Real number Set (mathematics) Skeleton (category theory) Pointed set Lattice theory Injective Dimension of a vector space
sameAs	Equivalence of categories Equivalence of categories Equivalence of categories Equivalence of categories Equivalence of categories

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software