Related papers: Modeling $(\infty,1)$-categories with Segal spaces
We study weak commutative algebras in a symmetric monoidal model category $\mathscr{M}$. We provide a model structure on these algebras for any symmetric monoidal model category that is combinatorial and left proper. Our motivation was to…
This is a continuation, completion, and generalization of our previous joint work with B. Chorny. We supply model structures and Quillen equivalences underlying Goodwillie's constructions on the homotopy level for functors between…
For a balanced pair $(\mathcal{X},\mathcal{Y})$ in an abelian category, we investigate when the chain homotopy categories ${\bf K}(\mathcal{X})$ and ${\bf K}(\mathcal{Y})$ are triangulated equivalent. To this end, we realize these chain…
Let $\mathscr{M}$ be a combinatorial and left proper model category, possibly with a monoidal structure. If $\mathscr{O}$ is either a monad on $\mathscr{M}$ or an operad enriched over $\mathscr{M}$, define a QS-algebra in $\mathscr{M}$ to…
We prove that a model structure on a relative $\infty$-category $(M,W)$ gives an efficient and computable way of accessing the hom-spaces $hom_{M[[W^{-1}]]}(x,y)$ in the localization. More precisely, we show that when the source $x \in M$…
We give a homotopy theoretic characterization of stacks on a site $\cC$ as the {\it homotopy sheaves} of groupoids on $\cC$. We use this characterization to construct a model category in which stacks are the fibrant objects. We compare…
In this note we show that a semisimplicial set with the weak Kan condition admits a simplicial structure, provided any object allows an idempotent self-equivalence. Moreover, any two choices of simplicial structures give rise to equivalent…
In this paper, we study weakly unital dg categories as they were defined by Kontsevich and Soibelman [KS, Sect.4]. We construct a cofibrantly generated Quillen model structure on the category $\mathrm{Cat}_{\mathrm{dgwu}}(\Bbbk)$ of small…
A model structure on the category of (small) bigroupoids and pseudofunctors is constructed. In this model structure, every object is cofibrant. In order to keep certain calculations of manageable size, a coherence theorem for bigroupoids…
A characterization of simplicial objects in categories with finite products obtained by the reduced bar construction is given. The condition that characterizes such simplicial objects is a strictification of Segal's condition guaranteeing…
In this paper, we study properties of maps between fibrant objects in model categories. We give a characterization of weak equivalences between fibrant object. If every object of a model category is fibrant, then we give a simple…
We study the behavior of the abstract sectional category in the Quillen, the Strom and the Mixed proper model structures on topological spaces and prove that, under certain reasonable conditions, all of them coincide with the classical…
We show that a map between fibrant objects in a closed model category is a weak equivalence if and only if it has the right homotopy extension lifting property with respect to all cofibrations. The dual statement holds for maps between…
We extend the Quillen Theorem Bn for homotopy fibers of Dwyer, et al. to similar results for homotopy pullbacks and note that these results imply similar results for zigzags in the categories of relative categories and k-relative…
We provide examples of inductive fibrant replacements in fibrantly generated model categories constructed as Postnikov towers. These provide new types of arguments to compute homotopy limits in model categories. We provide examples for…
We prove that for certain monoidal (Quillen) model categories, the category of comonoids therein also admits a model structure.
We introduce a notion of "weak model category" which is a weakening of the notion of Quillen model category, still sufficient to define a homotopy category, Quillen adjunctions, Quillen equivalences and most of the usual construction of…
We give category-theoretic reformulations of stability, NIP, NTP, and non-dividing by observing that their characterisations in terms of indiscernible sequences are naturally expressed as Quillen lifting properties %(negation) of certain…
In a previous paper we lifted Charles Rezk's complete Segal model structure on the category of simplicial spaces to a Quillen equivalent one on the category of "relative categories," and our aim in this successor paper is to obtain a more…
The goal of this paper is to prove an equivalence between the model categorical approach to pro-categories, as studied by Isaksen, Schlank and the first author, and the $\infty$-categorical approach, as developed by Lurie. Three…