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.
73
votes
Do we still need model categories?
Here are some rough analogies:
Model Category :: $(\infty, 1)$-category
Basis :: Vector space
Local coordinates :: Manifold
I especially like the last one. When you do, say, differential geometry …
49
votes
What are surprising examples of Model Categories?
The category of sets admits precisely nine model category structures, no more no less.
I learned this fact from Tom Goodwillie's comments on a different MO question. It always shocks people when I m …
25
votes
4
answers
3k
views
A Peculiar Model Structure on Simplicial Sets?
I'm wondering if there is a Quillen model structure on the category of simplicial sets which generalizes the usual model structure, but where every simplicial set is fibrant? I want to use this to do …
20
votes
2
answers
1k
views
How many model categories have the same weak equivalences?
There are many situations which arise where one might consider different Model categories with the same underlying category. For example in (left) Bousfield localization you start with a model categor …
19
votes
4
answers
3k
views
What are the fibrant objects in the injective model structure?
If C is a small category, we can consider the category of simplicial presheaves on C. This is a model category in two natural ways which are compatible with the usual model structure on simplicial set …
18
votes
1
answer
2k
views
A Model Category of Segal Spaces?
So in Julie Bergner's work on $(\infty, 1)$-categories arXiv:0610239, she considers several model categories which model $(\infty, 1)$-categories, which are known to be equivalent. I'm guessing that t …
16
votes
Accepted
Derived categories and homotopy categories
Yes. The former is a special case of the latter. There is a model category structure on the category of (say bounded) chain complexes of objects in your given abelian category. The weak equivalences a …
11
votes
Accepted
Is the simplicial nerve a localization?
This is not true. Here is a counter example. We let $\mathcal{C}_*$ be the following simplicial category. It has two objects 0 and 1. Their only endomorphisms are the identity. There are no morphisms …
10
votes
3
answers
1k
views
When is the projective model structure cartesian? When is the internal hom invariant?
If M is a sufficiently nice model category and D is a small category then there are two natural model structures we can impose on the functor category $Fun(D,M)$ where the weak equivalences are the le …
8
votes
0
answers
315
views
A model category for E-infty algebras in a non-monoidal model category?
Given a suitable nice symmetric monoidal category $C$, symmetric monoidally enriched, tensored, and cotensored over a symmetric monoidal category $S$, and an operad $\mathcal{O}$ in $S$, we can consid …
4
votes
Accepted
Is a left Bousfield localization of simplicial presheaves a locally cartesian closed model c...
Section 2 of this paper of Rezk addresses exactly the question of when the localization by S yields a Cartesian model category. For that the relevant property is that that if you take the product of a …