Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options questions only not deleted user 2362

A model category is a category equipped with notions of weak equivalences, fibrations and cofibrations allowing to run arguments similar to those of classical homotopy theory.

13 votes
2 answers
1k views

Categories on which one can determine all model structures?

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 …
19 votes
1 answer
818 views

Is there an analog of Kan's $Ex^\infty$ functor for quasicategories?

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 …
17 votes
4 answers
846 views

Do combinatorial model categories and Quillen adjunctions model presentable $\infty$-categor...

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 …
11 votes
1 answer
445 views

Proof of existence of Joyal model structure via Cisinski theory?

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 …
7 votes
1 answer
305 views

When is the model structure on functors correct, i.e. when does localization commute with ta...

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 …
11 votes
2 answers
718 views

What are the advantages of simplicial model categories over non-simplicial ones?

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 …
7 votes
1 answer
481 views

Is the Thomason model structure the optimal realization of Grothendieck's vision?

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 …
8 votes
2 answers
412 views

For which categories of spectra is there an explicit description of the fibrant objects via ...

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 …
3 votes
1 answer
105 views

Monoidalness of a model category can be checked on generators

If $C$ is a cofibrantly generated model category which is also monoidal biclosed, then to check that $C$ is a monoidal model category, it suffices to check that the Leibniz product of generating cofib …
16 votes
1 answer
503 views

Is there an "injective version" of the Bergner model structure?

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

Explicit generating acyclic cofibrations and right properness of a model category

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 …
11 votes
2 answers
535 views

Are cofibrations accessible?

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 …
12 votes
2 answers
395 views

Property-like structure in a model category

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 …
6 votes
0 answers
165 views

Under Vopenka, Is every weak orthogonality class in a locally presentable category small?

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 …
8 votes
0 answers
246 views

Is the theory of weak $n$-categories a cofibrant replacement of the theory of strict ones?

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 …

15 30 50 per page