Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Added:
The Joyal rigidification functor is defined as the left adjoint of the Cordier–Vogt homotopy coherent nerve functor.
The Dugger–Spivak rigidification functor provides a more explicit model for the same (∞,1)-functor, by virtue of writing down an explicit model that does not use colimits.
Specifically, given a simplicial set (not necessarily fibrant in the Joyal model structure), we construct the Dugger–Spivak rigidification as the following simplicial category. Objects are vertices of .
The simplicial set of morphisms is the nerve of the category of necklaces in (introduced by Hans-Joachim Baues). A necklace is a simplicial map
where glues the final vertex of the preceding simplex to the initial vertex of the following simplex. Morphisms are commutative triangles of simplicial maps that preserve the initial and final vertex of the entire necklace.
Composition is defined by concatenating necklaces. The resulting functor from simplicial sets admits a zigzag of weak equivalences to the Joyal rigidification functor.
added pointer to:
1 to 6 of 6