Search Results
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 |
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 …