In higher category theory in mathematics, the join of simplicial sets is an operation making the category of simplicial sets into a monoidal category. In particular, it takes two simplicial sets to construct another simplicial set. It is closely related to the diamond operation and used in the construction of the twisted diagonal. Under the nerve construction, it corresponds to the join of categories and under the geometric realization, it corresponds to the join of topological spaces.
Definition
For natural numbers
, one has the identity:[1]
![{\displaystyle \operatorname {Hom} ([m],[p+q+1])=\prod _{i+j+1=n}\operatorname {Hom} ([i],[p])\times \operatorname {Hom} ([j],[q]),}](./ebf7fb5ffe8d8cf89fe1bd828ba0aa1b401e94d8.svg)
which can be extended by colimits to a functor a functor
, which together with the empty simplicial set as unit element makes the category of simplicial sets
into a monoidal category. For simplicial set
and
, their join
is the simplicial set:[2][3][1]

A
-simplex
therefore either factors over
or
or splits into a
-simplex
and a
-simplex
with
and
.[4]
One has canonical morphisms
, which combine into a canonical morphism
through the universal property of the coproduct. One also has a canonical morphism
of terminal maps, for which the fiber of
is
and the fiber of
is
.
For a simplicial set
, one further defines its left cone and right cone as:


Right adjoint
Let
be a simplicial set. The functor
has a right adjoint
(alternatively denoted
) and the functor
also has a right adjoint
(alternatively denoted
).[5][6][7] A special case is
the terminal simplicial set, since
is the category of pointed simplicial sets.
Let
be a category and
be an object. Let
be the terminal category (with the notation taken from the terminal object of the simplex category), then there is an associated functor
, which with the nerve induces a morphism
. For every simplicial set
, one has by additionally using the adjunction between the join of categories and slice categories:[8]
![{\displaystyle {\begin{aligned}\mathbf {sSet} (A,N{\mathcal {C}}/Nt)&\cong \mathbf {sSet} _{*}(\Delta ^{0}\rightarrow A*\Delta ^{0},Nt)\cong \mathbf {Cat} _{*}([0]\rightarrow \tau (A)\star [0],t)\\&\cong \mathbf {Cat} (\tau (A),{\mathcal {C}}/X)\cong \mathbf {sSet} (A,N({\mathcal {C}}/X)).\end{aligned}}}](./5356e9fba03855289e8c1875356ffae1fe3a1f60.svg)
Hence according to the Yoneda lemma, one has (with the alternative notation, which here better underlines the result):[9][7]

Examples
One has:[10]



Properties
- For simplicial sets
and
, there is a unique morphism
into the diamond operation compatible with the maps
and
.[11] It is a weak categorical equivalence, hence a weak equivalence of the Joyal model structure.[12][13]
- For a simplicial set
, the functors
preserve weak categorical equivalences.[14]
- For ∞-categories
and
, the simplicial set
is also an ∞-category.[15][16]
- The join is associative. For simplicial sets
,
and
, one has:

- The join reverses under the opposite simplicial set. For simplicial sets
and
, one has:[17][18]

- For a morphism
, one has (as adjoint of the previous result):[18]

- For morphisms
, its precomposition with the canonical inclusion
and
, one has
or in alternative notation:[18]

- For every simplicial set
, one has:

- so the claim follows from the Yoneda lemma.
- Under the nerve, the join of categories becomes the join of simplicial sets. For small categories
and
, one has:[19][20]

Literature
References
- ^ a b Cisinski 2019, 3.4.12.
- ^ Joyal 2008, Proposition 3.1.
- ^ Lurie 2009, Definition 1.2.8.1.
- ^ Kerodon, Remark 4.3.3.17.
- ^ Joyal 2008, Proposition 3.12.
- ^ Lurie 2009, Proposition 1.2.9.2
- ^ a b Cisinski 2019, 3.4.14.
- ^ Lurie 2009, 1.2.9 Overcategories and Undercategories
- ^ Joyal 2008, Proposition 3.13.
- ^ Cisinski 2019, Proposition 3.4.17.
- ^ Cisinski 2019, Proposition 4.2.2.
- ^ Lurie 2009, Proposition 4.2.1.2.
- ^ Cisinksi 2019, Proposition 4.2.3.
- ^ Cisinski 2019, Corollary 4.2.5.
- ^ Joyal 2008, Corollary 3.23.
- ^ Lurie 2009, Proposition 1.2.8.3
- ^ Joyal 2008, p. 244
- ^ a b c Cisinski 2019, Remark 3.4.15.
- ^ Joyal 2008, Corollary 3.3.
- ^ Kerodon, Example 4.3.3.14.
External links