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 2191

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.

12 votes
1 answer
403 views

Which statements and arguments of Hovey's "Model categories" fail without functorial factori...

I would like to study the homotopy theory of the category of pro-objects over a proper model category $M$. $Pro-M$ is endowed with the strict model structure; it seems that functorial functorizations …
Mikhail Bondarko's user avatar
3 votes
0 answers
173 views

"Extending scalars" for (motivic) ring spectra and for modules over them: are the correspond...

Let $S$ be a (motivic symmetric) ring spectrum (more generally, one can possibly consider a commutative ring object in any symmetric stable model category); let $R$ be an associative commutative unit …
Mikhail Bondarko's user avatar
3 votes
2 answers
287 views

Analogues of 'cone' distinguished triangles for pointed model categories?

For an additive $A$ and any morphism $f:X\to Y$ in $C(A)$ one has the following distinguished triangle in the homotopy category $K(A)$: $X\to Y\to Cone(f)\to X[1]$. What is the closest analogue of …
Mikhail Bondarko's user avatar
2 votes
1 answer
1k views

Homotopy groups of filtered homotopy limits

Let $X$ be the homotopy limit of a filtered system of simplicial sets $X_i$. When are the morphisms $\pi_j(X)\to \varprojlim \pi_j(X_i)$ surjective for all $j\ge 0$? This seems to be no problem when t …
Mikhail Bondarko's user avatar
4 votes
0 answers
171 views

Which models are available for the motivic homotopy category $SH^{S^1}(k)$

The motivic $S^1$-stable homotopy category $SH^{S^1}(k)$ (where $k$ is a field that is often assumed to be perfect; yet one can probably take quite general base schemes here) is "intermediate" betwee …
Mikhail Bondarko's user avatar
5 votes
2 answers
707 views

On triangulated categories of pro-objects

Which term is used for model categories whose homotopy categories are triangulated? Stable proper model categories? I want $Ho(Pro-M)$ to be triangulated ($Pro-M$ is the category of pro-objects of M) …
Mikhail Bondarko's user avatar
15 votes
1 answer
521 views

What are the advantages of various "models" for the motivic stable homotopy category

People use several distinct models for the motivic stable homotopy category (so, there are some choices for the underlying category and a collection of available model structures). I would like to ask …
Mikhail Bondarko's user avatar
3 votes
0 answers
152 views

Connecting Quillen functors between motivic homotopy categories (of different "types"): refe...

For a perfect base field $k$ there exists the following collection of "motivic homotopy" categories related to it: (a) the homotopy category of simplicial presheaves (from smooth $k$-varieties); here …
Mikhail Bondarko's user avatar
6 votes
1 answer
351 views

More on categories of modules over the algebraic cobordism spectrum

I have the following questions on monoidal model structure(s) for the motivic stable homotopy category $SH(k)$ (where $k$ is a field); certainly, I am also interested in general statements concerning …
Mikhail Bondarko's user avatar