Coherency (homotopy theory)¶

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".

Version: v1 · 2026-09-28 · History
Domain-specific #: 8530
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Homotopy Theory, Higher Category Theory → Mathematics

Core Idea¶

Coherency (homotopy theory) is treated here as the recurring mathematics and formal science identity summarized by this source-grounded definition: 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". 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". Often, more than one way of defining a mapping between mathematical objects might be considered "natural".

How would you explain it like I'm…

No faithful explanation at this level. Any five-year-old picture says the different ways "come out exactly the same", collapsing coherence into strict equality, when the concept exists because equalities hold only up to homotopy or isomorphism and those weakened identifications must themselves fit together.

All Swap-Routes Agree

Sometimes mathematicians say two things are 'the same' not because they are identical, but because there's a specific way to swap one for the other. When a problem involves lots of these swaps, there can be several different routes of swapping from one arrangement to another. Coherence is the rule that all these routes must agree, so it doesn't matter which one you pick. Mathematicians often check this by drawing a diagram of arrows and making sure every path through it ends up the same.

Coherence of Weak Equalities

In homotopy theory and higher category theory, many equations hold only 'up to homotopy' or 'up to isomorphism': instead of equal, two things are connected by a specified equivalence. Often several different maps between objects seem equally natural, raising the question of which to choose. Coherency is the standard these weakened equalities must meet so that the choice does not matter: all the alternative definitions are equivalent, and the equivalences agree with each other, typically shown by a commutative diagram. Prefixes like 'pseudo-' and 'lax-' (as in pseudo-functor or pseudoalgebra) mark structures whose equalities have been weakened in such coherent ways.

In homotopy theory and (higher) category theory, coherency is the standard that equalities or diagrams must satisfy when they hold only up to homotopy or up to isomorphism. When a law such as associativity is weakened to hold via specified homotopies or isomorphisms, those witnesses must themselves be compatible, so that different ways of combining them agree. The practical question it answers arises when several constructions of a map are all 'natural': coherency guarantees that all alternatives are equivalent, so the choice is immaterial, and this is typically expressed by commutative diagrams. The prefixes 'pseudo-' and 'lax-', as in pseudo-functor and pseudoalgebra, name structures whose equalities are weakened in coherent ways. The concept is not mere approximate equality: the identifications must fit together consistently, and a structure whose weak equalities fail to cohere does not qualify.

Scope of Application¶

Coherent isomorphism. In practice, coherent isomorphisms arise by weakening equalities; e.g., strict associativity may be replaced by associativity via coherent isomorphisms.
Documented setting. 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.
Coherent isomorphism. In some situations, isomorphisms need to be chosen in a coherent way.
Coherent isomorphism. But in some cases, such as prestacks, there can be several canonical isomorphisms and there might not be an obvious choice among them.
Coherent isomorphism. For example, via this process, one gets the notion of a weak 2-category from that of a strict 2-category.

Clarity¶

A clear use of Coherency (homotopy theory) names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is 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".

Manages Complexity¶

Coherency (homotopy theory) compresses multiple mathematics and formal science details into a stable diagnostic relation. The source shows both the central mechanism—for example, via this process, one gets the notion of a weak 2-category from that of a strict 2-category.—and the practical consequence—but in some cases, such as prestacks, there can be several canonical isomorphisms and there might not be an obvious choice among them.

Abstract Reasoning¶

Type the carrier. Identify the mathematics and formal science entities to which the claim applies.
State the relation. Use the source-grounded identity: 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".
Check operation and conditions. Often, this can be achieved by choosing canonical isomorphisms.
Demand recognition evidence. Replacing coherent isomorphisms by equalities is usually called strictification or rectification.
Test variation.

Knowledge Transfer¶

Within the home domain. Knowledge about Coherency (homotopy theory) transfers literally when a new case preserves the same carrier type, relation, and recognition test. In practice, coherent isomorphisms arise by weakening equalities; e.g., strict associativity may be replaced by associativity via coherent isomorphisms. 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. Beyond the home domain. No canonical parent is asserted for Coherency (homotopy theory).

Relationships to Other Abstractions¶

Current abstraction Coherency (homotopy theory) Domain-specific

Parents (1) — more general patterns this builds on

Coherency (homotopy theory) is a kind of Constraint Prime

Coherency (homotopy theory) is a strict kind of Constraint: its frozen identity entails the parent's defining structure while adding domain-specific restrictions.

Hierarchy path (1) — routes to 1 parentless root

Coherency (homotopy theory) → Constraint

Neighborhood in Abstraction Space¶

Coherency (homotopy theory) sits in a sparse region of the domain-specific corpus (64^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Abstract Algebra & Category Theory (24 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08