pith. sign in

arxiv: 0910.0814 · v1 · pith:WWB6EEANnew · submitted 2009-10-05 · 🧮 math.CT · math.AT

Rigidification of quasi-categories

classification 🧮 math.CT math.AT
keywords rigidificationconstructionluriesimplicialapplicationbasiccategorycomes
0
0 comments X
read the original abstract

We give a new construction for rigidifying a quasi-category into a simplicial category, and prove that it is weakly equivalent to the rigidification given by Lurie. Our construction comes from the use of necklaces, which are simplicial sets obtained by stringing simplices together. As an application of these methods, we use our model to reprove some basic facts from Lurie's "Higher Topos Theory" regarding the rigidification process.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Entanglement of Sections: The pushout of entangled and parameterized quantum information

    quant-ph 2023-09 unverdicted novelty 6.0

    The pushout of entangled and parameterized quantum information in monoidal categories yields the external tensor product on flat K-theory bundles.