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 |
Homotopy theory, homological algebra, algebraic treatments of manifolds.
4
votes
1
answer
345
views
Contractibility of the category of cosimplicial resolutions
Let $\gamma : \mathcal{C} \to \mathcal{M}$ be a functor and define a cosimplicial resoultion of $\gamma$ as a functor $\Gamma: \mathcal{C} \to \mathcal{M}^{\Delta}$ such that
$\Gamma C$ is Reedy cofi …
4
votes
1
answer
280
views
When are filtered colimits of (trivial) cofibrations still (trivial) cofibrations?
Let $\mathcal{M}$ be a
locally finitely presentable model category, cofibrantly generated by
two sets $\mathcal{I}$ and $\mathcal{J}$ of cofibrations and trivial
cofibrations with presentable domain …
4
votes
0
answers
173
views
Is the Reedy model structure cofibrantly generated?
I am reading about the Reedy model structure from Hovey's book and
I was wondering if the Reedy model structure on $\mathcal{M}^{\Delta}$
is cofibrantly generated by a small set of arrows and permits …
4
votes
2
answers
317
views
Quillen pairs / $\infty$-adjunctions / adjunctions of homotopy categories
Some of the examples of $\infty$-categories are those arising from model categories. I would like to ask: what is the relationship between Quillen adjunctions between model categories and adjoint pair …
14
votes
2
answers
843
views
sSet-enriched categories, quasi-categories and the model-independent theory
sSet-enriched categories are one possible model for $(\infty,1)$-categories, by the work of Bergner and others. They are probably the most important model from the point of view of getting actual exam …