Join of Categories¶
The small-category construction that preserves two input categories, adds one morphism from every left object to every right object and none backward, and forms an associative monoidal product.
Core Idea¶
The categorical join places one category wholly before another. Its objects are the disjoint union of the inputs. Morphisms within each side remain unchanged; every left object receives exactly one canonical morphism to every right object, and no morphisms are added from right to left.
These hom-set rules determine compatible composition and define a bifunctor on small categories. Join is associative up to the standard categorical structure, the empty category is its unit, terminal-category joins form left and right cones, and the nerve carries categorical join to simplicial join.
Structural Signature¶
Sig role-phrases:
- Left category C — Supplies the earlier objects and their internal morphisms. It is required input. Counterfactual: Without a left input the construction reduces to the unit case.
- Right category D — Supplies the later objects and their internal morphisms. It is required input. Counterfactual: The orientation cannot be stated without the right input.
- Disjoint object union — Keeps objects from both inputs distinct in the new carrier. It is object construction. Counterfactual: Identifying objects would create a quotient rather than the join.
- Forward cross arrows — Adds one canonical morphism from every C object to every D object. It is defining bridge. Counterfactual: More, fewer, or reverse arrows define a different collage-like construction.
- Composition law — Combines internal and canonical cross arrows uniquely and associatively. It is category condition. Counterfactual: A graph with cross edges is not yet a category.
- Monoidal and nerve compatibility — Places join in Cat and relates it to cones and simplicial joins. It is structural extension. Counterfactual: Ignoring these properties misses why the construction is useful but not its basic identity.
What It Is Not¶
- It is not the coproduct, which has no cross morphisms.
- It is not the categorical product.
- It is not symmetric; factor order controls arrow direction.
- It is not a graph join unless categorical composition and uniqueness are imposed.
- Closest near-miss. The coproduct C⊔D has no cross morphisms; the join adds a unique arrow in one direction between every cross pair.
Scope of Application¶
- Category theory. Builds an oriented monoidal combination of small categories.
- Cone constructions. Adjoins initial or terminal cone points using [0].
- Higher-category theory. Interfaces with joins and slices of simplicial sets and quasicategories.
- Nerve calculations. Translates categorical constructions into simplicial combinatorics.
Clarity¶
Write the four hom-set cases explicitly and retain factor order. Associativity is categorical rather than literal equality under all encodings, and opposite categories reverse the join order.
Manages Complexity¶
The construction compresses many new arrows and their composites into one uniform orientation rule. It preserves each input while supplying exactly the cross-category comparability needed for cones and higher-categorical slices.
Abstract Reasoning¶
- Form the disjoint union of objects.
- Copy internal hom-sets unchanged.
- Set every left-to-right hom-set to a singleton and every reverse one to empty.
- Define the forced compositions and verify category axioms.
- Check functoriality, unit, associativity, and nerve compatibility as needed.
Knowledge Transfer¶
The ordered-gluing pattern transfers to enriched or higher categorical joins only after replacing singleton homs with the correct enriched or simplicial data. The ordinary definition should not be assumed unchanged.
Examples¶
Canonical¶
Joining the terminal category [0] on the left with C adjoins a new initial cone point having a unique arrow to every object of C; joining it on the right adjoins a terminal cone point.
Mapped back: left cone → [0]⋆C; right cone → C⋆[0]; bridge → unique oriented arrows; inputs → preserved C.
Applied / In Practice¶
The categorical coproduct keeps C and D disconnected, so it has neither the singleton forward hom-sets nor the order imposed by the join.
Mapped back: objects → same disjoint union; cross arrows → none; classification → coproduct.
Structural Tensions¶
T1 — Disjoint Preservation versus Universal Linkage. The inputs remain internally unchanged while every left object is connected to every right object.
Diagnostic: Were internal hom-sets preserved exactly while cross hom-sets were added?
T2 — Ordered Asymmetry versus Dual Reversal. The join privileges left-to-right morphisms, and taking opposites reverses that orientation.
Diagnostic: Has factor order been retained in notation and reasoning?
Structural–Framed Character¶
Join of Categories is strongly structural.
Structural Core vs. Domain Accent¶
The skeleton is oriented universal linkage of two preserved components. Category theory supplies objects, hom-sets, composition, monoidal structure, nerves, and cones.
Instantiates / Related Primes¶
This entry is a kind of Composition.
-
Approved root. No current parent entails this exact hom-set construction.
-
Related — coproduct, cone, and simplicial join. They supply nearest baseline, special cases, and nerve-compatible image.
Relationships to Other Abstractions¶
Current abstraction Join of Categories Domain-specific
Parents (1) — more general patterns this builds on
-
Join of Categories is a kind of Composition Prime
The Categorical Join is Composition that combines two categories and adds every forward left-to-right morphism into one associative construction.It preserves the inputs as components and arranges them under a cross-component morphism rule to form a cohesive category, satisfying Composition while adding the categorical join law. Composition can assemble physical, organizational, textual, or mathematical wholes without category-theoretic morphisms.
Hierarchy path (1) — routes to 1 parentless root
- Join of Categories → Composition → Gestalt Principles → Holism
Neighborhood in Abstraction Space¶
Join of Categories sits in a crowded region of the domain-specific corpus (25th 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
- Simplicial Localization — 0.89
- Category of Manifolds — 0.89
- Mathematical Category — 0.89
- K-theory — 0.89
- Mapping Cylinder — 0.89
Computed from structural-signature embeddings · 2026-10-08
Not to Be Confused With¶
- Categorical coproduct. Tell: Has the same objects but no cross morphisms.
- Categorical product. Tell: Uses object pairs and componentwise morphisms.
- Ordinal sum. Tell: A related ordered construction for posets and ordinals.
- Graph join. Tell: Adds graph edges without the same hom-set and composition requirements.
References¶
- Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Join_(category_theory) (revision 1288380415).
- Preserved source candidate: https://kerodon.net/tag/016H
- Preserved source candidate: https://kerodon.net/tag/0166
- Preserved source candidate: https://kerodon.net/tag/0168
- Preserved source candidate: https://kerodon.net/tag/0175
- Preserved source candidate: https://ncatlab.org/nlab/files/JoyalTheoryOfQuasiCategories.pdf
- Preserved source candidate: https://kerodon.net/tag/0160
The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.