Skip to main content
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
Results tagged with
Search options not deleted user 139854

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 …
display llvll's user avatar
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 $\ …
display llvll's user avatar
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 …
display llvll's user avatar
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 …
display llvll's user avatar
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 …
display llvll's user avatar
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 …
display llvll's user avatar
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 …
display llvll's user avatar
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 …
display llvll's user avatar