Search Results

Is there a fibrant replacement functor in the Joyal model structure which can be described non-recursively, like $Ex^\infty$ for the Quillen model structure? I believe another way to put this is to as …

Let $Q$ be the homotopical category of combinatorial model categories and left Quillen functors, with left Quillen equivalences for weak equivalences. Let $\mathbf Q$ be the corresponding $\infty$-ca …

The Bergner model structure on $sCat$ (simplicially enriched categories) has a "projective" flavor: fibrations are "levelwise" while cofibrations satisfy stringent relative "freeness" conditions. Thi …

Famously, there are exactly nine model structures on the category of sets, which are detailed here. In this case, one can exhaustively determine all six weak factorization systems and then see which o …

In a model category, I have tools to show that mapping spaces are contractible. But if I want to show a mapping space is empty or contractible, is there anything I can do on general grounds? The idea …

Of course, there are general results allowing one to replace a model category with a simplicial one. But suppose I want to stay in my original non-simplicial model category (say for some reason I'm a …

The category of fibrations in a combinatorial model category is accessible, accessibly embedded in the arrow category. How about the cofibrations? More generally, let $C$ be a locally presentable cat …

I'm looking for a proof of the existence of the Joyal model structure -- with its usual description -- which uses Cisinski theory directly. The closest thing I know of is Theorem 5.26 of Ara's Higher …

By "saturated class of morphisms" in a category $\mathcal{C}$, I mean a subcategory $\mathcal{W} \subset \mathcal{C}$ such that the image of $\mathcal{W}$ in $\mathcal{C}[\mathcal{W}^{-1}]$ consists o …

How explicit are the model structures for various categories of spectra? Naive, symmetric and orthogonal spectra are obtained via left Bousfield localization of model structures with explicit generat …

I have algebraic models of $n$-categories in mind. By "theory of (weak) $n$-categories", I mean "[monad / operad / whatever] whose algebras are (weak) $n$-categories". To be more precise: fix an alge …

Let $\mathcal{C}$ be a cofibrantly-generated model category. My impression is that the following two conditions are highly correlated: $\mathcal{C}$ is right proper. There is an explicitly-describab …

In Pursuing Stacks, Grothendieck uses the category $Cat$ of small categories to model spaces. A recurring theme is the question of whether there is a Quillen model structure supporting this homotopy t …

Let $C$ be a small category and $M$ a model category. Then there are various "global" model structures (projective, injective, Reedy) on the category $Fun(C,M)$ of functors from $C$ to $M$, all with t …

This is true for orthogonality classes- see Corollary 6.24 in Adamek and Rosicky - but I can't seem to find this result in the literature for weak orthogonality. Here, by a weak orthogonality class i …