Top Qs
Timeline
Chat
Perspective

Join (simplicial sets)

Construction for categories From Wikipedia, the free encyclopedia

Remove ads

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.

Remove ads

Definition

Thumb
Visualization of the join with the blue part representing and the green part representing .

For natural numbers , one has the identity:[1]

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:

Remove ads

Right adjoint

Summarize
Perspective

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]

Hence according to the Yoneda lemma, one has (with the alternative notation, which here better underlines the result):[9][7]

Remove ads

Examples

Summarize
Perspective

One has:[10]

Remove ads

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]
Remove ads

Literature

  • Joyal, André (2008). "The Theory of Quasi-Categories and its Applications" (PDF).
  • Lurie, Jacob (2009). Higher Topos Theory. Annals of Mathematics Studies. Vol. 170. Princeton University Press. arXiv:math.CT/0608040. ISBN 978-0-691-14049-0. MR 2522659.
  • Cisinski, Denis-Charles (2019-06-30). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200.
Remove ads

References

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads