Diamond Operation

Combine two simplicial sets by gluing the endpoint faces of their product cylinder to the respective factors, producing a simplicial set over the 1-simplex that is categorically equivalent to their join.

Version

v3 · 2026-09-19 · History

Domain-specific #

1663

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Higher Category Theory → Mathematics

Aliases

Diamond product of simplicial sets, Simplicial diamond operation

Core Idea

For simplicial sets \(X\) and \(Y\), the diamond operation forms a new simplicial set by taking the cylinder \(X\times Y\times\Delta^1\) and collapsing its \(0\)-end along the projection to \(X\) and its \(1\)-end along the projection to \(Y\). Equivalently, it is the pushout \(X\diamond Y=(X\times Y\times\Delta^1)\amalg_{X\times Y\times\partial\Delta^1}(X\amalg Y)\), with the endpoint maps understood as those projections.

The construction has a canonical map \(p:X\diamond Y\to\Delta^1\) whose fibers over the two vertices are \(X\) and \(Y\). There is also a natural map \(X\diamond Y\to X\star Y\) to the simplicial join.

How would you explain it like I'm…

The Squished-End Tube

Take two shapes, call them X and Y. First make a tube whose cross-section is a combined X-and-Y shape. Then squish one end of the tube down so it looks just like X, and squish the other end so it looks just like Y. The new shape you get, with X at one end and Y at the other, is what the diamond operation makes.

Two-Ended Shape Gluing

In higher mathematics, simplicial sets are shapes built from points, edges, triangles and their higher-dimensional cousins. The diamond operation takes two of them, X and Y, and builds a new one. You start with a 'cylinder': the product of X and Y stretched along a line segment from end 0 to end 1. Then at end 0 you collapse it so only X is left, and at end 1 you collapse it so only Y is left. The result sits over a line segment with X above one endpoint and Y above the other. It is closely related to another construction called the join, and behaves like it in an important sense, though they are not literally the same shape.

Collapsed Cylinder Construction

For simplicial sets X and Y, the diamond X ◇ Y is built from the cylinder X × Y × Δ¹, where Δ¹ is the standard 1-simplex (a segment with vertices 0 and 1). At the 0-end, it is collapsed along the projection to X, and at the 1-end along the projection to Y. Formally this is a pushout: glue X ⊔ Y onto the cylinder along its two ends. The result comes with a canonical map to Δ¹ whose fiber over vertex 0 is X and over vertex 1 is Y. There is a natural comparison map from X ◇ Y to the join X ⋆ Y, which is a categorical equivalence, meaning they behave the same for higher-category purposes, but they are generally not identical simplicial sets. Fixing one factor gives a functor with a right adjoint described by slice constructions.

 

Given simplicial sets X and Y, the diamond operation is the pushout X ◇ Y = (X × Y × Δ¹) ⊔_{X × Y × ∂Δ¹} (X ⊔ Y), where the attaching maps at the two ends of ∂Δ¹ are the projections X × Y → X and X × Y → Y. Geometrically, one forms the cylinder X × Y × Δ¹ and collapses its 0-end onto X and its 1-end onto Y. The projection to Δ¹ descends to a canonical map p: X ◇ Y → Δ¹ whose fibers over the vertices 0 and 1 are X and Y. There is a natural map X ◇ Y → X ⋆ Y to the simplicial join, and it is a categorical equivalence rather than an isomorphism, so the two should not be treated as literally the same object. For a fixed factor, the diamond functor has a right adjoint given by slice-type constructions. The pushout description, endpoint fibers, adjunctions and the comparison with the join together form a reusable package in higher category theory, used for example in constructions related to twisted arrows and mapping objects.

Scope of Application

The operation is literal in quasicategory-based higher category theory and the homotopy theory of simplicial sets.

• Join comparison. Replacing or analyzing simplicial joins up to categorical equivalence.
• Twisted-arrow constructions. Building alternate models involving source and target data.
• Slice adjunctions. Relating fixed-factor diamond functors to left and right division constructions.
• Model-category arguments. Tracking weak categorical equivalences under diamonding.
• Endpoint-fiber organization. Packaging two simplicial sets as fibers of one object over \(\Delta^1\).
• Higher-categorical mapping problems. Expressing directed relation data through simplicial constructions.

Clarity

State the category of simplicial sets, input order, cylinder, the two boundary maps, and the pushout universal property. Distinguish strict isomorphism from categorical equivalence and name the model structure used. If adjoints are invoked, specify whether the fixed factor is on the left or right and which undercategory carries the result. Draw the defining square when notation could hide the endpoint projections, and verify that any map out of the proposed diamond object agrees on the glued boundary.

Manages Complexity

Diamond packages a cylinder with two asymmetric endpoint collapses into one functorial binary construction. The map to \(\Delta^1\) keeps endpoint roles visible, while equivalence to join permits transfer of higher-categorical information. Instead of repeatedly expanding a pushout diagram, an argument can manipulate the named functor, invoke naturality, and pass to an adjoint when a mapping problem is easier to express in a slice. This is especially useful when the endpoints must remain identifiable while all cross-pairs are organized over one directed parameter.

Abstract Reasoning

1. Choose ordered simplicial-set inputs \(X\) and \(Y\).
2. Form their product with the simplicial interval.
3. Restrict the cylinder to its two boundary vertices.
4. Map the first endpoint to \(X\) and the second endpoint to \(Y\) by projection.
5. Take the pushout with the coproduct \(X\amalg Y\).
6. Record the induced map to \(\Delta^1\) and identify its endpoint fibers.
7. Compare the result naturally with the simplicial join.
8. Use the categorical equivalence or fixed-factor adjunction appropriate to the application.

Knowledge Transfer

The strict parent is Composition: declared components are assembled through an explicit gluing rule into one cohesive simplicial object with preserved endpoint roles. Cartesian Product, Union, and Equivalence Relation describe ingredients, but none alone owns the complete cylinder-collapse operation.

Composition is the strict parent because the diamond operation constructs a new object by combining two inputs through a fixed gluing interface. The transferable skeleton is two structured objects + boundary inclusions + product-like connector + quotient identifications -> composite object. The domain residue is simplicial degree, the interval Delta-one, endpoint faces, and categorical comparison with the join.

Relationships to Other Abstractions

Current abstraction Diamond Operation Domain-specific

Parents (1) — outgoing typed relations

• Diamond Operation is a kind of Composition Prime

  Composition is the strict parent because diamond assembles \(X\), \(Y\), and their interval-parametrized pairings into one functionally organized object.

Hierarchy path (1) — routes to 1 parentless root

• Diamond Operation → is a kind of Composition → presupposes Gestalt Principles → is a decomposition of Holism

Neighborhood in Abstraction Space

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

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

• Suspension (Topology) — 0.78
• Delta set — 0.77
• Gamma Function — 0.77
• Knaster–Kuratowski–Mazurkiewicz Lemma — 0.77
• Euclidean Space — 0.77

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