Coherence condition

Coherence condition

In mathematics, and particularly category theory a coherence condition is a collection of conditions requiring that various compositions of elementary morphisms are equal. Typically the elementary morphisms are part of the data of the category.

Contents

An illustrative example: a monoidal category

Part of the data of a monoidal category is a chosen morphism αA,B,C, called the associator:

\alpha_{A,B,C} \colon (A\otimes B)\otimes C \rightarrow A\otimes(B\otimes C)

for each triple of objects A,B,C in the category. Using compositions of these αA,B,C, one can construct a morphism

( \cdots ( A_N \otimes A_{N-1} ) \otimes A_{N-2} ) \otimes \cdots \otimes A_1) \rightarrow 
 ( A_N \otimes ( A_{N-1}  \otimes \cdots \otimes ( A_2 \otimes A_1) \cdots ).

Actually, there are many ways to construct a morphism from

 ( \cdots ( A_N \otimes A_{N-1} ) \otimes \cdot ) \otimes A_2 ) \otimes A_1  )

to

 ( A_N \otimes ( A_{N-1}  \otimes \cdots \otimes ( A_2 \otimes A_1) \cdots )

as a composition of various αA,B,C. One coherence condition that is typically imposed is that these compositions are all equal.

Typically one proves a coherence condition using a coherence theorem, which states that one only needs to check a few equalities of compositions in order to know that the rest also hold. In the above example, one only needs to check that, for all quadruples of objects A,B,C,D, the following diagram commutes


Monoidal-category-pentagon.png

Further examples

Two simple examples that illustrate the definition are as follows. Both are directly from the definition of a category.

Identity

Let f : AB be a morphism of a category containing two objects A and B. Associated with these objects are the identity morphisms 1A : AA and 1B : BB. By composing these with f, we construct two morphisms:

f o 1A : AB, and
1B o f : AB.

Both are morphisms between the same objects as f. We have, accordingly, the following coherence statement:

f o 1A   = f   = 1B o f.

Associativity of composition

Let f : AB, g : BC and h : CD be morphisms of a category containing objects A, B, C and D. By repeated composition, we can construct a morphism from A to D in two ways:

(h o g) o f : AD, and
h o (g o f) : AD.

We have now the following coherence statement:

(h o g) o f = h o (g o f).

In these two particular examples, the coherence statements are theorems for the case of an abstract category, since they follow directly from the axioms; in fact, they are axioms. For the case of a concrete mathematical structure, they can be viewed as conditions, namely as requirements for the mathematical structure under consideration to be a concrete category, requirements that such a structure may meet or fail to meet.


References

  • Mac Lane, Saunders (1971). "Categories for the working mathematician". Graduate texts in mathematics Springer-Verlag. Especially Chapter VII Part 2.

Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • coherence condition — koherentiškumo sąlyga statusas T sritis fizika atitikmenys: angl. coherence condition vok. Kohärenzbedingung, f rus. условие когерентности, n pranc. condition de cohérence, f …   Fizikos terminų žodynas

  • Coherence — Coherence, coherency, or coherent can refer to: Contents 1 In physics 2 In mathematics 3 In financial economics 4 In philosophy …   Wikipedia

  • Coherence theorem — In mathematics and particularly category theory, a coherence theorem is a tool for proving a coherence condition. Typically a coherence condition requires an infinite number of equalities among compositions of structure maps. A coherence theorem… …   Wikipedia

  • condition de cohérence — koherentiškumo sąlyga statusas T sritis fizika atitikmenys: angl. coherence condition vok. Kohärenzbedingung, f rus. условие когерентности, n pranc. condition de cohérence, f …   Fizikos terminų žodynas

  • coherence — [kō hir′əns, kōher′əns] n. [Fr < L cohaerentia < cohaerens, prp. of COHERE] 1. the act or condition of cohering; cohesion 2. the quality of being logically integrated, consistent, and intelligible; congruity [his story lacked coherence] 3.… …   English World dictionary

  • Coherence (The philosophy of) — Green, Bosanquet and the philosophy of coherence Gerald F.Gaus INTRODUCTION Along with F.H.Bradley (Bradley, F.H.), T.H.Green and Bernard Bosanquet were the chief figures in what is commonly called British idealism. Bradley is widely regarded as… …   History of philosophy

  • Weak central coherence theory — The weak central coherence theory (WCC), also called the Central coherence theory (CC), suggests that a specific perceptual cognitive style, loosely described as a limited ability to understand context or to see the big picture , underlies the… …   Wikipedia

  • Memory coherence — is an issue that affects the design of computer systems in which two or more processors or cores share a common area of memory.[1][2][3][4] In a uniprocessor system (whereby, in today s terms, there exists only one core), there is only one… …   Wikipedia

  • Forcing — En mathématiques, et plus précisément en logique mathématique, le forcing est une technique inventée par Paul Cohen pour prouver des résultats de cohérence et d indépendance en théorie des ensembles. Elle a été utilisée pour la première fois en… …   Wikipédia en Français

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”