In
higher category theory
In mathematics, higher category theory is the part of category theory at a ''higher order'', which means that some equalities are replaced by explicit morphism, arrows in order to be able to explicitly study the structure behind those equalities. H ...
in
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, the join of
simplicial sets is an
operation making the
category of simplicial sets into a
monoidal category
In mathematics, a monoidal category (or tensor category) is a category (mathematics), category \mathbf C equipped with a bifunctor
:\otimes : \mathbf \times \mathbf \to \mathbf
that is associative up to a natural isomorphism, and an Object (cate ...
. 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
A nerve is an enclosed, cable-like bundle of nerve fibers (called axons). Nerves have historically been considered the basic units of the peripheral nervous system. A nerve provides a common pathway for the Electrochemistry, electrochemical nerv ...
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:
[Cisinski 2019, 3.4.12.]
:
which can be extended by colimits to a functor a
functor
In mathematics, specifically category theory, a functor is a Map (mathematics), mapping between Category (mathematics), categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) ar ...
, which together with the empty simplicial set as unit element makes the category of simplicial sets
into a
monoidal category
In mathematics, a monoidal category (or tensor category) is a category (mathematics), category \mathbf C equipped with a bifunctor
:\otimes : \mathbf \times \mathbf \to \mathbf
that is associative up to a natural isomorphism, and an Object (cate ...
. For simplicial set
and
, their ''join''
is the simplicial set:
:
A
-simplex
therefore either factors over
or
or splits into a
-simplex
and a
-simplex
with
and
.
One has canonical morphisms
, which combine into a canonical morphism
through the
universal property
In mathematics, more specifically in category theory, a universal property is a property that characterizes up to an isomorphism the result of some constructions. Thus, universal properties can be used for defining some objects independently fro ...
of the
coproduct
In category theory, the coproduct, or categorical sum, is a construction which includes as examples the disjoint union of sets and of topological spaces, the free product of groups, and the direct sum of modules and vector spaces. The cop ...
. 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
In mathematics, specifically category theory, adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in this relationship are k ...
(alternatively denoted
) and the functor
also has a right adjoint
(alternatively denoted
).
[Lurie 2009, Proposition 1.2.9.2][Cisinski 2019, 3.4.14.] 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