Homotopy coherence
 | This section needs expansion. You can help by adding to it. (September 2019) |
In mathematics, specifically in homotopy theory and (higher) category theory, coherency is the standard that equalities or diagrams must satisfy when they hold "up to homotopy" or "up to isomorphism".
The adjectives such as "pseudo-" and "lax-" are used to refer to the fact equalities are weakened in coherent ways; e.g., pseudo-functor, pseudoalgebra.
In some situations, isomorphisms need to be chosen in a coherent way. Often, this can be achieved by choosing canonical isomorphisms. But in some cases, such as prestacks, there can be several canonical isomorphisms and there might not be an obvious choice among them.
In practice, coherent isomorphisms arise by weakening equalities; e.g., strict associativity may be replaced by associativity via coherent isomorphisms. For example, via this process, one gets the notion of a weak 2-category from that of a strict 2-category.
Replacing coherent isomorphisms by equalities is usually called strictification or rectification.
Mac Lane's coherence theorem states, roughly, that if diagrams of certain types commute, then diagrams of all types commute. [1] A simple proof of that theorem can be obtained using the permutoassociahedron, a polytope whose combinatorial structure appears implicitly in Mac Lane's proof. [2]
There are several generalizations of Mac Lane's coherence theorem. [3] Each of them has the rough form that "every weak structure of some sort is equivalent to a stricter one". [4]
| | This section needs expansion. You can help by adding to it. (September 2019) |
Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Category theory is used in almost all areas of mathematics. In particular, many constructions of new mathematical objects from previous ones that appear similarly in several contexts are conveniently expressed and unified in terms of categories. Examples include quotient spaces, direct products, completion, and duality.
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence.
In mathematics, a monoidal category is a category equipped with a bifunctor
Samuel Eilenberg was a Polish-American mathematician who co-founded category theory and homological algebra.
In mathematics, the Hurewicz theorem is a basic result of algebraic topology, connecting homotopy theory with homology theory via a map known as the Hurewicz homomorphism. The theorem is named after Witold Hurewicz, and generalizes earlier results of Henri Poincaré.
Marshall Harvey Stone was an American mathematician who contributed to real analysis, functional analysis, topology and the study of Boolean algebras.
In mathematics, Brown's representability theorem in homotopy theory gives necessary and sufficient conditions for a contravariant functor F on the homotopy category Hotc of pointed connected CW complexes, to the category of sets Set, to be a representable functor.
Garrett Birkhoff was an American mathematician. He is best known for his work in lattice theory.
Daniel Marinus Kan was a Dutch mathematician working in category theory and homotopy theory. He was a prolific contributor to both fields for six decades, having authored or coauthored several dozen research papers and monographs.
This is a glossary of properties and concepts in category theory in mathematics.
In mathematics, higher category theory is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Higher category theory is often applied in algebraic topology, where one studies algebraic invariants of spaces, such as the fundamental weak ∞-groupoid.
In mathematics and specifically in topology, rational homotopy theory is a simplified version of homotopy theory for topological spaces, in which all torsion in the homotopy groups is ignored. It was founded by Dennis Sullivan and Daniel Quillen. This simplification of homotopy theory makes certain calculations much easier.
In algebraic topology, the Dold-Thom theorem states that the homotopy groups of the infinite symmetric product of a connected CW complex are the same as its reduced homology groups. The most common version of its proof consists of showing that the composition of the homotopy group functors with the infinite symmetric product defines a reduced homology theory. One of the main tools used in doing so are quasifibrations. The theorem has been generalised in various ways, for example by the Almgren isomorphism theorem.
Derived algebraic geometry is a branch of mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide local charts, are replaced by either differential graded algebras, simplicial commutative rings or -ring spectra from algebraic topology, whose higher homotopy groups account for the non-discreteness of the structure sheaf. Grothendieck's scheme theory allows the structure sheaf to carry nilpotent elements. Derived algebraic geometry can be thought of as an extension of this idea, and provides natural settings for intersection theory of singular algebraic varieties and cotangent complexes in deformation theory, among the other applications.
In category theory, a branch of mathematics, Grothendieck's homotopy hypothesis states that the ∞-groupoids are spaces.
In category theory, a branch of mathematics, Mac Lane coherence theorem states, in the words of Saunders Mac Lane, “every diagram commutes”. More precisely, it states every formal diagram commutes, where "formal diagram" is an analog of well-formed formulae and terms in proof theory.
In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology, but nowadays is learned as an independent discipline. Besides algebraic topology, the theory has also been used in other areas of mathematics such as algebraic geometry (e.g., A1 homotopy theory) and category theory (specifically the study of higher categories).
In category theory, a rig category is a category equipped with two monoidal structures, one distributing over the other.
In mathematics, the permutoassociahedron is an -dimensional polytope whose vertices correspond to the bracketings of the permutations of terms and whose edges connect two bracketings that can be obtained from one another either by moving a pair of brackets using associativity or by transposing two consecutive terms that are not separated by a bracket.
 | This topology-related article is a stub. You can help Wikipedia by expanding it. |