Search Results

It seems the answer is indeed yes in great generality – certainly at least for any complete wellpowered category. By a result of Cassidy, Hébert, and Kelly [Reflective subcategories, localizations and …

Let $\mathcal{M}$ be a category, let $\mathcal{M}^\circ$ be a reflective (full) subcategory of $\mathcal{M}$, and let $L : \mathcal{M} \to \mathcal{M}^\circ$ be the reflector. Question. Does there exi …

Let $U$ and $V$ be Segal spaces and let $f : U \to V$ be a Dwyer–Kan equivalence. That means two things: The following diagram is a homotopy pullback square: $$\require{AMScd} \begin{CD} U_1 @>>> U_0 …

Here is a somewhat degenerate example that illustrates what can go wrong. Let $\textbf{Ab}$ be the category of abelian groups, considered as a homotopical category where the weak equivalences are the …

Yes, $D_0 \times_{D_1} D_2 \to (E_2 \times_{E_1} E_0) \times_{E_0} D_0$ is a fibration. First, observe that $$(E_2 \times_{E_1} E_0) \times_{E_0} D_0 \cong E_2 \times_{E_1} D_0 \cong (E_2 \times_{E_1} …

In [Schwänzl and Vogt, Strong cofibrations and fibrations in enriched categories], the authors refer to an earlier preprint, [Schwänzl and Vogt, Cofibration and fibration structures in enriched catego …

Since you have functorial factorisations you should exploit that to the hilt. If $\mathcal{M}$ is a model category with functorial factorisations then the category $\mathbf{c}\mathcal{M}$ of cosimplic …

My question concerns rectification theorems for homotopy-coherent structures. As the meaning of this may be unclear, let me list a few examples of what I am thinking of: Cordier and Porter proved a …

There are only nine possible model structures on $\mathbf{Set}$. You can easily check that none of them give the right weak equivalences: Either everything is a weak equivalence, or $X \to Y$ is a w …

It is true. You can reduce to the case of simplicial sets by using the fact that $\mathbf{R} \mathrm{Hom} (T, -)$ preserves homotopy limits and (allowing $T$ to vary) is jointly conservative. Finding …

There are many equivalent ways of defining the local equivalences. Let $\mathcal{M}$ be a simplicial model category with a cofibrant replacement functor $Q : \mathcal{M} \to \mathcal{M}$. Then, for a …

There are many proposed models for the theory of $(\infty, 1)$-categories and it has now been shown that many of these theories have Quillen-equivalent model categories, i.e. that they are equivalent …

I work in a general pointed model category. The homotopy fibre of a morphism $f : Y \to X$ can be defined as follows: first, choose a fibrant replacement $w_X : X \to \hat{X}$ and then factor $w_X \ci …

It's not quite in the literature, but there is a fully explicit construction that avoids hammock localisation or any kind of fibrant replacement: by a recent result of Lennart Meier, a certain "double …

Yes, $\wedge$ is invariant under weak homotopy equivalence in $\mathbf{sSet}_*$. It suffices to show that it sends anodyne extensions (= trivial cofibrations) to weak homtoopy equivalences: indeed, ev …