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.
8
votes
0
answers
153
views
When does the natural simplicial enrichment of the category of cdgas compute the derived map...
Let $CDGA$ be the category of commutative differential graded algebras over a field $k$ of characteristic zero. Denote by $\Omega\left(\Delta^n\right)$ the cdga of algebraic differential forms on the …
5
votes
0
answers
186
views
How do you compute a homotopy colimit in a category of fibrant objects?
This question may be a bit vague, (so if suggested, can I make it community wiki), but I was wondering what techniques there exists for computing homotopy colimits in a category of fibrant objects. A …
5
votes
2
answers
385
views
Simplicial presheaves that are colimits of themselves?
Suppose $C$ is a small category and $X_{\bullet}$ is a simplicial object in $C$. In particular, by composing with Yoneda $$y:C \to Set^{C^{op}}$$ $y(X)_{\bullet}$ is a simplicial presheaf. I believe i …
9
votes
3
answers
2k
views
Infinity groupoid objects
I was wondering if there is a model-theoretic way of defining the infinity category of infinity-groupoid objects in a category $C$ (more generally, if $C$ is an infinity category itself, but, right no …
5
votes
0
answers
157
views
On the preservations of certain colimits (by covers) under simplicial localization (of a cat...
Suppose I have a category of fibrant objects $\mathcal{C}$ (with weak equivalences $W$ and fibrations $F$) together with a subcanonical Grothendieck pre-topology $J$ whose covering families consist of …
10
votes
0
answers
516
views
When does a sheaf of categories represent a homotopy sheaf?
Suppose that $F$ is a sheaf of categories (on a Grothendieck site or even a topological space). By this, I mean a sheaf in the naive 1-categorical sense, so it can equivalently be viewed as a category …
7
votes
2
answers
663
views
Direct proof that the model category of cdgas is left proper
Let $k$ be a field of characteristic $0$. The projective model structure on the category $cdga$ of commutative differential graded $k$-algebras is proper. Since this model structure is transferred fro …
7
votes
1
answer
1k
views
Do homotopy limits compute limits in the associated quasicategory in the non-combinatorial m...
Suppose that $\mathcal{M}$ is a model category which is not combinatorial, does a homotopy limit in $\mathcal{M}$ correspond to a limit in the associated $\left(\infty,1\right)$-category?
How about w …
2
votes
0
answers
221
views
When can I compute the simplicial mapping space from a presheaf to a simplicial presheaf nai...
Suppose that $\mathscr{C}$ is is a small category, $Y$ is a presheaf (of sets) on $\mathscr{C},$ and $X_\bullet$ is a simplicial presheaf. There is a spectrum of simplicial model structures on $\math …