Related papers: Rigidification and the Coherent Nerve for Enriched…

In the case of $(\infty,1)$-categories, the homotopy coherent nerve gives a right Quillen equivalence between the models of simplicially enriched categories and of quasi-categories. This shows that homotopy coherent diagrams of…

We lay the foundations for a theory of quasi-categories in a monoidal category $\mathcal{V}$ replacing $\mathrm{Set}$, aimed at realising weak enrichment in the category $S\mathcal{V}$ of simplicial objects in $\mathcal{V}$. To accomodate…

The subject of this paper is a nerve construction for bicategories introduced by Leinster, which defines a fully faithful functor from the category of bicategories and normal pseudofunctors to the category of presheaves over Joyal's…

The most natural notion of a simplicial nerve for a (weak) bicategory was given by Duskin, who showed that a simplicial set is isomorphic to the nerve of a $(2,1)$-category (i.e. a bicategory with invertible $2$-morphisms) if and only if it…

We construct a cubical analogue of the rigidification functor from quasi-categories to simplicial categories present in the work of Joyal and Lurie. We define a functor from the category of cubical sets of Doherty-Kapulkin-Lindsey-Sattler…

The homotopy coherent nerve from simplicial categories to simplicial sets and its left adjoint C are important to the study of (infinity,1)-categories because they provide a means for comparing two models of their respective homotopy…

We construct a left semi-model category of "marked strict $\infty$-categories" for which the fibrant objects are those whose marked arrows satisfy natural closure properties and are weakly invertible. The canonical model structure on strict…

We construct a nerve from double categories into double $(\infty,1)$-categories and show that it gives a right Quillen and homotopically fully faithful functor between the model structure for weakly horizontally invariant double categories…

Any tricategory characteristically has associated various simplicial or pseudo-simplicial objects. This paper explores the relationship amongst three of them: the pseudo-simplicial bicategory so-called Grothendieck nerve of the tricategory,…

We introduce necklicial nerve functors from enriched categories to simplicial sets, which include Cordier's homotopy coherent, Lurie's differential graded and Le Grignou's cubical nerves. It is shown that every necklicial nerve can be…

This paper explores the relationship amongst the various simplicial and pseudo-simplicial objects characteristically associated to any bicategory C. It proves the fact that the geometric realizations of all of these possible candidate…

If $\mathscr{M}$ is a model category and $\mathcal{U}: \mathscr{A} \rightarrow \mathscr{M}$ is a functor, we defined a Quillen-Segal $\mathcal{U}$-object as a weak equivalence $\mathscr{F}: s(\mathscr{F}) \xrightarrow{\sim} t(\mathscr{F})$…

It is proved that the category of simplicial complete bornological spaces over $\mathbb R$ carries a combinatorial monoidal model structure satisfying the monoid axiom. For any commutative monoid in this category the category of modules is…

We show that weak monoidal Quillen equivalences induce equivalences of symmetric monoidal $\infty$-categories with respect to the Dwyer-Kan localization of the symmetric monoidal model categories. The result will induce a Dold-Kan…

We put a model structure on the category of categories internal to simplicial sets whose weak equivalences are reflected by the nerve functor to bisimplicial sets with Rezk's model structure. This model structure is shown to be Quillen…

We introduce a notion of n-quasi-categories as fibrant objects of a model category structure on presheaves on Joyal's n-cell category \Theta_n. Our definition comes from an idea of Cisinski and Joyal. However, we show that this idea has to…

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…

We put a monoidal model category structure on the category of chain complexes of quasi-coherent sheaves over a quasi-compact and semi-separated scheme X. The approach generalizes and simplifies methods used by the author to build monoidal…

For a small category $\mathcal{D}$ we define fibrations of simplicial presheaves on the category $\mathcal{D}\times\Delta$, which we call localized $\mathcal{D}$-left fibration. We show these fibrations can be seen as fibrant objects in a…

For a small category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the nerve of A establishes a left Quillen equivalence between the projective (or Reedy)…