Coherence condition

Last updated November 09, 2024

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. A coherence theorem states that, in order to be assured that all these equalities hold, it suffices to check a small number of identities.

An illustrative example: a monoidal category

Part of the data of a monoidal category is a chosen morphism $\alpha _{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 $\alpha _{A,B,C}$ , one can construct a morphism

((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})).

Actually, there are many ways to construct such a morphism as a composition of various $\alpha _{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 show 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.

Any pair of morphisms from $((\cdots (A_{N}\otimes A_{N-1})\otimes \cdots )\otimes A_{2})\otimes A_{1})$ to $(A_{N}\otimes (A_{N-1}\otimes (\cdots \otimes (A_{2}\otimes A_{1})\cdots ))$ constructed as compositions of various $\alpha _{A,B,C}$ are equal.

Further examples

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

Identity

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

fo 1_A : A → B, and

1_Bof : A → B.

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

fo 1_A = f = 1_Bof.

Associativity of composition

Let f : A → B, g : B → C and h : C → D 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:

(hog) of : A → D, and

ho (gof) : A → D.

We have now the following coherence statement:

(hog) of = ho (gof).

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.

Related Research Articles

In mathematics, specifically in category theory, an additive category is a preadditive category C admitting all finitary biproducts.

Homological algebra is the branch of mathematics that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology and abstract algebra at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert.

In mathematics, a Lie superalgebra is a generalisation of a Lie algebra to include a $‑grading. Lie superalgebras are important in theoretical physics where they are used to describe the mathematics of supersymmetry.$

In mathematics, a Lie algebroid is a vector bundle $together with a Lie bracket on its space of sections and a vector bundle morphism, satisfying a Leibniz rule. A Lie algebroid can thus be thought of as a "many-object generalisation" of a Lie algebra.$

In mathematics, a Hopf algebra, named after Heinz Hopf, is a structure that is simultaneously an algebra and a coalgebra, with these structures' compatibility making it a bialgebra, and that moreover is equipped with an antihomomorphism satisfying a certain property. The representation theory of a Hopf algebra is particularly nice, since the existence of compatible comultiplication, counit, and antipode allows for the construction of tensor products of representations, trivial representations, and dual representations.

In mathematics, a monoidal category is a category $equipped with a bifunctor$

In algebraic geometry, motives is a theory proposed by Alexander Grothendieck in the 1960s to unify the vast array of similarly behaved cohomology theories such as singular cohomology, de Rham cohomology, etale cohomology, and crystalline cohomology. Philosophically, a "motif" is the "cohomology essence" of a variety.

In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information.

In mathematics, the Ext functors are the derived functors of the Hom functor. Along with the Tor functor, Ext is one of the core concepts of homological algebra, in which ideas from algebraic topology are used to define invariants of algebraic structures. The cohomology of groups, Lie algebras, and associative algebras can all be defined in terms of Ext. The name comes from the fact that the first Ext group Ext¹ classifies extensions of one module by another.

In mathematics, the Tor functors are the derived functors of the tensor product of modules over a ring. Along with the Ext functor, Tor is one of the central concepts of homological algebra, in which ideas from algebraic topology are used to construct invariants of algebraic structures. The homology of groups, Lie algebras, and associative algebras can all be defined in terms of Tor. The name comes from a relation between the first Tor group Tor₁ and the torsion subgroup of an abelian group.

In mathematics, an affine Lie algebra is an infinite-dimensional Lie algebra that is constructed in a canonical fashion out of a finite-dimensional simple Lie algebra. Given an affine Lie algebra, one can also form the associated affine Kac-Moody algebra, as described below. From a purely mathematical point of view, affine Lie algebras are interesting because their representation theory, like representation theory of finite-dimensional semisimple Lie algebras, is much better understood than that of general Kac–Moody algebras. As observed by Victor Kac, the character formula for representations of affine Lie algebras implies certain combinatorial identities, the Macdonald identities.

This is a glossary of properties and concepts in category theory in mathematics.

In category theory, a strict 2-category is a category with "morphisms between morphisms", that is, where each hom-set itself carries the structure of a category. It can be formally defined as a category enriched over Cat.

In mathematics, the Noether normalization lemma is a result of commutative algebra, introduced by Emmy Noether in 1926. It states that for any field k, and any finitely generated commutative k-algebraA, there exist elements y₁, y₂, ..., y_d in A that are algebraically independent over k and such that A is a finitely generated module over the polynomial ring S = k [y₁, y₂, ..., y_d]. The integer d is equal to the Krull dimension of the ring A; and if A is an integral domain, d is also the transcendence degree of the field of fractions of A over k.

In mathematics, an operad is a structure that consists of abstract operations, each one having a fixed finite number of inputs (arguments) and one output, as well as a specification of how to compose these operations. Given an operad $, one defines an algebra over to be a set together with concrete operations on this set which behave just like the abstract operations of . For instance, there is a Lie operad such that the algebras over are precisely the Lie algebras; in a sense abstractly encodes the operations that are common to all Lie algebras. An operad is to its algebras as a group is to its group representations.$

In category theory, monoidal functors are functors between monoidal categories which preserve the monoidal structure. More specifically, a monoidal functor between two monoidal categories consists of a functor between the categories, along with two coherence maps—a natural transformation and a morphism that preserve monoidal multiplication and unit, respectively. Mathematicians require these coherence maps to satisfy additional properties depending on how strictly they want to preserve the monoidal structure; each of these properties gives rise to a slightly different definition of monoidal functors

In category theory, a branch of mathematics, a PROP is a symmetric strict monoidal category whose objects are the natural numbers n identified with the finite sets $and whose tensor product is given on objects by the addition on numbers. Because of “symmetric”, for each n, the symmetric group on n letters is given as a subgroup of the automorphism group of n . The name PROP is an abbreviation of "PROduct and Permutation category".$

In category theory, a branch of mathematics, compact closed categories are a general context for treating dual objects. The idea of a dual object generalizes the more familiar concept of the dual of a finite-dimensional vector space. So, the motivating example of a compact closed category is FdVect, the category having finite-dimensional vector spaces as objects and linear maps as morphisms, with tensor product as the monoidal structure. Another example is Rel, the category having sets as objects and relations as morphisms, with Cartesian monoidal structure.

In category theory and related fields of mathematics, an envelope is a construction that generalizes the operations of "exterior completion", like completion of a locally convex space, or Stone–Čech compactification of a topological space. A dual construction is called refinement.

In mathematics, the automorphism group of an object X is the group consisting of automorphisms of X under composition of morphisms. For example, if X is a finite-dimensional vector space, then the automorphism group of X is the group of invertible linear transformations from X to itself. If instead X is a group, then its automorphism group $is the group consisting of all group automorphisms of X .$

References

Kelly, G.M (1964). "On MacLane's conditions for coherence of natural associativities, commutativities, etc". Journal of Algebra. 1 (4): 397–402. doi:10.1016/0021-8693(64)90018-3.
Kassel, Christian (1995). "Tensor Categories". Quantum Groups. Graduate Texts in Mathematics. Vol. 155. pp. 275–293. doi:10.1007/978-1-4612-0783-2_11. ISBN 978-1-4612-6900-7.
Laplaza, Miguel L. (1972). "Coherence for distributivity". Coherence in Categories. Lecture Notes in Mathematics. Vol. 281. pp. 29–65. doi:10.1007/BFb0059555. ISBN 978-3-540-05963-9.
Lack, Stephen (2000). "A Coherent Approach to Pseudomonads". Advances in Mathematics. 152 (2): 179–202. doi: 10.1006/aima.1999.1881 .
MacLane, Saunders (October 1963). "Natural Associativity and Commutativity". Rice Institute Pamphlet - Rice University Studies. hdl:1911/62865.
Mac Lane, Saunders (1971). "7. Monoids §2 Coherence". Categories for the working mathematician. Graduate texts in mathematics. Vol. 4. Springer. pp. 161–165. doi:10.1007/978-1-4612-9839-7_8. ISBN 9781461298397.
MacLane, Saunders; Paré, Robert (1985). "Coherence for bicategories and indexed categories". Journal of Pure and Applied Algebra. 37: 59–80. doi:10.1016/0022-4049(85)90087-8.
Power, A.J. (1989). "A general coherence result". Journal of Pure and Applied Algebra. 57 (2): 165–173. doi:10.1016/0022-4049(89)90113-8.
Yanofsky, Noson S. (2000). "The syntax of coherence". Cahiers de Topologie et Géométrie Différentielle Catégoriques. 41 (4): 255–304.

External links

Malkiewich, Cary; Ponto, Kate (2021). "Coherence for bicategories, lax functors, and shadows". arXiv: 2109.01249 [math.CT].

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.