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 questions only not deleted user 4528

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 …
David Carchedi's user avatar
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 …
David Carchedi's user avatar
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 …
David Carchedi's user avatar
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 …
David Carchedi's user avatar
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 …
David Carchedi's user avatar
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 …
David Carchedi's user avatar
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 …
David Carchedi's user avatar
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 …
David Carchedi's user avatar
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 …
David Carchedi's user avatar