2-Category¶
A strict higher category with objects, arrows between objects, and arrows between parallel arrows, composed by compatible vertical and horizontal laws.
Core Idea¶
A strict 2-category has objects, arrows between objects, and arrows between parallel arrows. Its 1-cells and 2-cells between each object pair form a hom-category. A 2-cell can compose vertically with another 2-cell in the same hom-category; a horizontal composition functor combines 1-cells and 2-cells across composable object boundaries. The functoriality of horizontal composition makes the two composition directions obey interchange. Associativity and units for the 1-cell composition hold exactly, not merely up to a coherent isomorphism.[^ref-e050859fdcfe]
That strictness distinguishes the entry from a bicategory, which permits specified coherent associator and unitor isomorphisms. The “2” counts the highest nontrivial morphism dimension, not the number of objects. The general strict form is not the same as Cat, its best-known instance, nor is it a 2-functor that maps such structures.[^ref-5be1abf4b344]
Scope of Application¶
In Cat, categories are objects, functors are 1-cells, and natural transformations between functors are 2-cells. Their vertical componentwise composition and horizontal whiskering satisfy the strict laws, with a size convention for the class of categories. In Groupoids, the same construction is restricted to groupoids and their functors; each natural transformation is invertible, so this is also a narrower (2,1)-category.[ref-5294d03ace68][ref-e050859fdcfe] The concept transfers literally to other mathematical settings only when hom-categories, horizontal functors and exact composition laws are specified.
Clarity¶
The typing separates a functor \(F:A\to B\) from a natural transformation \(\alpha:F\Rightarrow G\). It also distinguishes composing transformations in a single hom-category from composing them across a chain of objects. Calling a weak bicategory “strict” would conceal whether two bracketed composites are literally equal or only coherently isomorphic.
Manages Complexity¶
Instead of treating every transformation diagram separately, verify five things: typed 0/1-cells, hom-categories of 2-cells, vertical composition, horizontal composition as a functor, and strict identities/associativity. Interchange is then encoded by functoriality. This reduces repetitive diagram chasing without erasing source/target or size obligations.
Abstract Reasoning¶
Given a proposed example, list its objects and arrows, then construct the category of arrows and transformations for each object pair. Test identities and vertical composition inside each hom. Check that horizontal composition preserves those operations and then test strict associativity and units. A failure of strict equality may suggest a bicategory, but a mere collection of higher arrows without hom-category or interchange structure is not enough even for that diagnosis.[ref-e050859fdcfe][ref-5be1abf4b344]
Knowledge Transfer¶
The strict 2-category test travels within higher mathematics—from Cat to Groupoids and to one-object cases corresponding to strict monoidal categories. The portable lower-level skeleton is the live Category prime: objects and composable arrows. The full named entry remains domain-specific because “relations between relations” in an unrelated field does not by itself provide 2-cells, hom-categories, composition functors and interchange.[^ref-3693c02f4ead]
[^ref-e050859fdcfe]: The Stacks Project, Categories, §4.29 “2-categories”. [^ref-5294d03ace68]: The Stacks Project, Categories, §4.28 “Formal properties”. [^ref-5be1abf4b344]: John C. Baez, Week 35, strict versus weak 2-categories. [^ref-3693c02f4ead]: John C. Baez, Week 83, one-object strict 2-categories.
Relationships to Other Abstractions¶
Current abstraction 2-Category Domain-specific
Parents (1) — more general patterns this builds on
-
2-Category is a kind of Category Prime
A strict 2-category extends its underlying ordinary category with hom-categories and compatible 2-cell composition.
Hierarchy paths (3) — routes to 3 parentless roots
- 2-Category → Category → Associativity → Invariance
- 2-Category → Category → Closure
- 2-Category → Category → Associativity → Symmetry
Neighborhood in Abstraction Space¶
2-Category sits in a sparse region of the domain-specific corpus (78th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Categories, Sheaves & Homotopy (21 abstractions)
Nearest neighbors
- Functor — 0.85
- 3-Category — 0.83
- Burnside category — 0.82
- Initial and terminal objects — 0.82
- Monoidal Category — 0.82
Computed from structural-signature embeddings · 2026-10-08