3-Category¶

A higher category with objects and composable morphisms in dimensions one through three, under specified coherence laws.

Version: v1 · 2026-09-28 · History
Domain-specific #: 7811
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Higher Category Theory → Mathematics

Core Idea¶

A 3-category extends categorical organization through a third level of morphisms. Objects are related by 1-morphisms, parallel 1-morphisms by 2-morphisms, and parallel 2-morphisms by 3-morphisms; composition at these levels obeys compatibility and coherence laws. That final layer—not the numeral in the name—is the feature a merely two-dimensional category lacks.

Strict, Gray/semistrict, and weak 3-categories impose different equations or coherent replacements. A strict 3-category can be described through enrichment over 2Cat, while the Gray tensor provides a semistrict account. These variants should not be collapsed, even though coherence results relate appropriate weak forms to Gray presentations.

How would you explain it like I'm…

Paths Between Paths Between Paths

Picture towns as dots, and roads going from town to town. Now imagine ways to slide one road into another road between the same two towns, and then ways to change one of those slides into another slide. A 3-category keeps track of all these layers at once, with careful rules for joining things together at every layer.

Three Layers of Arrows

Mathematicians sometimes draw things as dots with arrows between them; with rules for joining arrows end to end, that's called a category. A 2-category adds arrows between arrows, and a 3-category adds one more level: arrows between those arrows. So there are dots, arrows, arrows-between-arrows, and arrows-between-those. The important part is that extra third level of arrows, not the number 3 itself. At every level, things can be joined together, and the joinings have to agree with each other.

Category With 3-Morphisms

A category has objects and morphisms (arrows) that compose. A 3-category builds this up two more times: 1-morphisms go between objects, 2-morphisms go between parallel 1-morphisms (ones with the same start and end), and 3-morphisms go between parallel 2-morphisms. Composition works at every level and must obey compatibility and coherence laws so that different ways of combining things agree. The third layer of morphisms is exactly what a 2-category lacks. There are different versions, strict, semistrict (Gray) and weak, depending on whether certain laws hold exactly or only up to a specified higher morphism, and they should not be treated as the same thing.

A 3-category extends category theory by a third level of morphisms: objects, 1-morphisms between objects, 2-morphisms between parallel 1-morphisms, and 3-morphisms between parallel 2-morphisms, with composition at each level subject to compatibility and coherence laws. The distinguishing feature relative to a 2-category is this top layer, not the numeral in the name. Variants impose different amounts of strictness. A strict 3-category can be defined as a category enriched over 2Cat (the category of strict 2-categories), so all laws hold as equations. A Gray (semistrict) 3-category is built using the Gray tensor product instead, and weak 3-categories replace many equations with coherent higher morphisms. Coherence results relate appropriate weak forms to Gray presentations, but these variants should not be treated as interchangeable.

Scope of Application¶

This entry applies to formal higher categories with three typed morphism levels, not to informal three-layer organizations.

Higher category theory. Distinguish strict, Gray, and weak constructions by their coherence requirements.
Categories of 2-categories. 2Cat exhibits how transformations and modifications add a third morphism level.
Algebraic topology. Fundamental 3-groupoids organize points, paths, and higher homotopies.
Coherence comparison. Use equivalence results to relate weak and semistrict presentations without identifying them as identical objects.

Clarity¶

The numeral counts morphism dimensions, not objects or organizational tiers. To recognize a 3-category, ask what its 3-morphisms relate and which strict, Gray, or weak coherence convention governs composition; a 2-category lacks that third typed level even when its lower layers are elaborate.

Manages Complexity¶

Higher-categorical constructions contain many interacting compositions and identity laws. The 3-category framework groups these into levels and coherence constraints, allowing a reader to ask which cells compose and how competing compositions compare. Strict presentations simplify equations; Gray or weak presentations retain nontrivial coherence. The framework organizes complexity, but it does not make the coherence theorems automatic or remove size and typing issues.

Abstract Reasoning¶

Identify the objects and three successively typed morphism levels, then check their compositions and coherence laws. When comparing a strict and a weak presentation, distinguish literal equality from equivalence under a coherence result.

Knowledge Transfer¶

The term transfers literally among mathematical settings with objects, three typed morphism levels, and valid coherence—such as categories of 2-categories and fundamental 3-groupoids. A project team with three management levels or a database with three relation types is only an analogy unless categorical composition and higher cells are actually defined. The broader portable idea is layered relations, not this exact mathematical structure.

Neighborhood in Abstraction Space¶

3-Category sits in a crowded region of the domain-specific corpus (39^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Category Theory & Higher Structures (18 abstractions)

Nearest neighbors

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