Dual (category theory)

In , a branch of mathematics, duality is a correspondence between the properties of a category C and the dual properties of the Cop. 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 Cop. 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 Cop. Also, if a statement is false about C, then its dual has to be false about Cop. Given a C, it is often the case that the opposite category Cop per se is abstract. Cop 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 Cop are equivalent as categories. In the case when C and its opposite Cop are equivalent, such a category is self-dual. 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 Cop. 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.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (31)

Cours associés (11)

Séances de cours associées (128)

MATH-726: Working group in Topology I

The theme of the working group varies from year to year. Examples of recent topics studied include: Galois theory of ring spectra, duality in algebra and topology, and topological algebraic geometry.

MATH-726(2): Working group in Topology II

The theme of the working group varies from year to year. Examples of recent topics studied include: Galois theory of ring spectra, duality in algebra and topology, topological algebraic geometry and t

MATH-688: Reading group in applied topology I

The focus of this reading group is to delve into the concept of the "Magnitude of Metric Spaces". This approach offers an alternative approach to persistent homology to describe a metric space across

Équivalence de catégories

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.

Dual (category theory)

Dualité (mathématiques)

thumb|Dual d'un cube : un octaèdre. En mathématiques, le mot dualité a de nombreuses utilisations. Une dualité est définie à l'intérieur d'une famille d'objets mathématiques, c'est-à-dire qu'à tout objet de on associe un autre objet de . On dit que est le dual de et que est le primal de . Si (par = on peut sous-entendre des relations d'isomorphies complexes), on dit que est autodual. Dans de nombreux cas de dualité, le dual du dual est le primal. Ainsi, par exemple, le concept de complémentaire d'un ensemble pourrait être vu comme le premier des concepts de dualité.

Théorie de la catégorie: Introduction MATH-211: Group Theory

Examine le concept de la théorie des catégories, en fournissant des exemples et en discutant du concept de catégorie opposée.

Transfert de structures modèles MATH-436: Homotopical algebra

Couvre le transfert de structures de modèles par des adjonctions dans le contexte des catégories de modèles.

Introduction aux catégories: Produits et coproduits MATH-211: Group Theory

Présente la théorie des catégories en généralisant le produit cartésien et l'union disjointe des ensembles à n'importe quelle catégorie.