“Dual (category theory)”的意思、由来-开放百科全书

词条

Dual (category theory)

释义

Formal definition
Examples
See also
References

{{For|general notions of duality in mathematics|Duality (mathematics)}}

In category theory, a branch of mathematics, duality is a correspondence between the properties of a category C and the dual properties of the opposite category C^op. Given a statement regarding the category C, by interchanging the source and target of each morphism as well as interchanging the order of composing two morphisms, a corresponding dual statement is obtained regarding the opposite category C^op. Duality, as such, is the assertion that truth is invariant under this operation on statements. In other words, if a statement is true about C, then its dual statement is true about C^op. Also, if a statement is false about C, then its dual has to be false about C^op.

Given a concrete category C, it is often the case that the opposite category C^op per se is abstract. C^op need not be a category that arises from mathematical practice. In this case, another category D is also termed to be in duality with C if D and C^op are equivalent as categories.

In the case when C and its opposite C^op are equivalent, such a category is self-dual.^[1]

Formal definition

We define the elementary language of category theory as the two-sorted first order language with objects and morphisms as distinct sorts, together with the relations of an object being the source or target of a morphism and a symbol for composing two morphisms.

Let σ be any statement in this language. We form the dual σ^op as follows:

Interchange each occurrence of "source" in σ with "target".
Interchange the order of composing morphisms. That is, replace each occurrence of with

Informally, these conditions state that the dual of a statement is formed by reversing arrows and compositions.

Duality is the observation that σ is true for some category C if and only if σ^op is true for C^op.{{sfn|Mac Lane|1978|p=33}}{{sfn|Awodey|2010|p=53-55}}

Examples

A morphism is a monomorphism if implies . Performing the dual operation, we get the statement that implies For a morphism , this is precisely what it means for f to be an epimorphism. In short, the property of being a monomorphism is dual to the property of being an epimorphism.

Applying duality, this means that a morphism in some category C is a monomorphism if and only if the reverse morphism in the opposite category C^op is an epimorphism.

An example comes from reversing the direction of inequalities in a partial order. So if X is a set and ≤ a partial order relation, we can define a new partial order relation ≤_new by

x ≤_new y if and only if y ≤ x.

This example on orders is a special case, since partial orders correspond to a certain kind of category in which Hom(A,B) can have at most one element. In applications to logic, this then looks like a very general description of negation (that is, proofs run in the opposite direction). For example, if we take the opposite of a lattice, we will find that meets and joins have their roles interchanged. This is an abstract form of De Morgan's laws, or of duality applied to lattices.

Limits and colimits are dual notions.
Fibrations and cofibrations are examples of dual notions in algebraic topology and homotopy theory. In this context, the duality is often called Eckmann–Hilton duality.

References

1. ^{{cite book|author1=Jiří Adámek|author2=J. Rosicky|title=Locally Presentable and Accessible Categories|url=https://books.google.com/books?id=iXh6rOd7of0C&pg=PA62|year=1994|publisher=Cambridge University Press|isbn=978-0-521-42261-1|page=62}}

{{springer|title=Dual category|id=p/d034090}}
{{springer|title=Duality principle|id=p/d034130}}
{{springer|title=Duality|id=p/d034120}}
{{Cite book|url=https://www.worldcat.org/oclc/851741862|title=Categories for the Working Mathematician|last=Mac Lane|first=Saunders|date=1978|publisher=Springer New York|isbn=1441931236|edition=Second|location=New York, NY|pages=33|oclc=851741862}}
{{Cite book|url=https://www.worldcat.org/oclc/740446073|title=Category theory|last=Awodey|first=Steve|date=2010|publisher=Oxford University Press|isbn=0199237182|edition=2nd|location=Oxford|pages=53-55|oclc=740446073}}

2 : Category theory|Duality theories

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。

Formal definition

Examples

See also

References