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 |
Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
6
votes
1
answer
248
views
Universal model category as a $\text{sSet}$-enriched co-completion
It's a standard fact that given a small category $\mathcal{C},$ the category of pre-sheaves $\text{Psh}(\mathcal{C})$ is the free co-completion of it.
I'm sure this can be done not only for $\text{Se …
3
votes
1
answer
370
views
Universal property of the category of $\mathcal{S}$-sheaves and the definition of Topos
Let $\mathcal{C}$ be a small category; let $\mathcal{S}$ be any family of maps in $\text{Psh}\left(\mathcal{C}\right)$.
Call $X\in \text{Psh}\left(\mathcal{C}\right) $ an $\mathcal{S}$-sheaf when $\ …
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 …
21
votes
2
answers
2k
views
Mark Hovey's open problems in the theory of model categories
Mark Hovey maintains a list of open problems in model category theory. I think this list is quite old, and I don't know if Hovey is still updating it or not.
My question is:
i) which of the 13 prob …