The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
0answers
147 views

Is there a local projective model structure on simplicial sheaves? What are its fibrant objects?

Consider a site S (I am mostly interested in hypercomplete sites, e.g., the site of smooth manifolds). The category of simplicial presheaves SPSh(S) on S can be equipped with the local projective ...
4
votes
2answers
298 views

Can one make the category of pairs of topological spaces a model category?

Can you make the category whose objects are pairs of spaces $(X,A)$, and morphisms the obvious diagrams, into a model category? Of course I want this to be done in a meaningful way, that is, agreeing ...
1
vote
1answer
232 views

Coequalizer in category of dg-algebras

It is known that there is a model structure on category of dg algebras (non-commutative over arbitrary commutative ring). In particular it is complete and co-complete category. My question is how to ...
8
votes
0answers
318 views

The category theory of $(\infty, 1)$-categories

There are many proposed models for the theory of $(\infty, 1)$-categories and it has now been shown that many of these theories have Quillen-equivalent model categories, i.e. that they are equivalent ...
5
votes
2answers
296 views

Homotopy excision and homotopy pushout

I have three related questions. I understand homotopy pushouts via the standard model structure on the diagrams - and taking the derived functor of the pushout. I'm not sure, but I believe that in ...
11
votes
1answer
335 views

Model structure on the category of small $A_\infty$ categories, hocolims.

I strangely could not find a reference for this. What are some (if any) model structures on the category of small $A_{\infty}$ categories, with weak equivalences quasi-equivalences. Same question in ...
1
vote
0answers
138 views

Homotopy colimits over a certain subset category.

Hi! Let $I$ denote all the finite subsets of some set (infinite or finite) S. For each n, let $I_n$ be the subset consisting of objects of cardinality n, so that there are no morphisms between the ...
13
votes
1answer
627 views

Homology in the $A_\infty$ World

This question is turning out to be a little long so let me start off with the headline. Given a differential graded algebra $A$, we can recover $A$ from its homology $HA$ if we know "the" ...
3
votes
1answer
182 views

About the Cole-Ström model category structure with a locally presentable category

In "Many homotopy categories are homotopy categories" (M. Cole / Topology and its Applications 153 (2006) 1084–1099), Cole generalizes the construction of the model category of Ström to any bicomplete ...
7
votes
3answers
327 views

When is the projective model structure cartesian? When is the internal hom invariant?

If M is a sufficiently nice model category and D is a small category then there are two natural model structures we can impose on the functor category $Fun(D,M)$ where the weak equivalences are the ...
3
votes
1answer
294 views

When do reflexive coequalizers preserve weak equivalences?

In my work I've run into the following situation. In a model category, I have two reflexive coequalizers $A_i \stackrel{\to}{\to} B_i \to C_i$ and a map of diagrams which is levelwise a weak ...
4
votes
3answers
356 views

Monoidal model category structure on a functor category.

Let $A$ be a small simplicial category. The category $Fun(A,s\mathrm{Set})$ of simplicial functors from $A$ to simplicial sets can be given the projective model structure in which fibration and weak ...
3
votes
1answer
144 views

Reedy model structures on oplax limits

Suppose $R$ is a category and $F:R\to Cat$ is a functor (or pseudofunctor). The oplax limit of $F$ is the category whose objects consist of an object $x_r \in F(r)$ for all $r$ together with a ...
10
votes
1answer
342 views

Model category structures on dga's in a ringed topos

In the introduction to his paper "Towards a non-abelian $p$-adic Hodge theory", Olsson says that for any ringed topos $(\mathcal{T},\mathcal{O})$ with $\mathcal{O}$ a sheaf of $\mathbb{Q}$-algebras, ...
9
votes
1answer
331 views

Model for the (infinity,1)-category of functors preserving certain homotopy limits

This question is a follow up to: Model for the (infinity,1)-category of (homotopy-)limit preserving functors. Warm-up Question: Given a simplicial model category $M$, what model category models ...
11
votes
1answer
295 views

Model for the (infinity,1)-category of (homotopy-)limit preserving functors

I've got a simplicial model category $M.$ I'd like to get my hands on the (infinity,1) category of homotopy limit preserving functors from M to Spaces in order to compare it to another simplicial ...
5
votes
1answer
265 views

The Quillen model structure on simplicial sets as a Bousfield localization

Starting with the trivial model structure on the category of simplicial sets (that is the weak equivalences are exactly the isomorphisms and the cofibrations and fibrations are arbitrary maps), is it ...
7
votes
0answers
112 views

An explicit description of injective fibrations

If $M$ is a combinatorial model category and $C$ a small category, then the category $M^C$ admits an injective model structure in which the cofibrations and weak equivalences are levelwise. I would ...
3
votes
2answers
438 views

A fibrant-objects structure on Top

(Sorry for the crossposting, but I'm really interested in this question). One can define (Paragraph 1.5, page 10) a fibrant-object structure on a suitable cartesian closed category of topological ...
1
vote
0answers
292 views

Homotopical Galois theory of coverings

In the hope this won't turn into a trivial problem (I couldn't find a similar discussion here), here's my question. I'm studying a little homotopical algebra in this article by Brown. You can easily ...
5
votes
1answer
208 views

Monoidal Model Categories with Suspension Functor

This is basically just me trying to find out what such categories are called, and where they are written about. If I think of some model category of spectra being a "stabilization" of some model ...
8
votes
1answer
376 views

Is there a notion of a “model category which admits left Bousfield localization?”

At a conference not too long ago I gave a talk on (left) Bousfield localization and was asked an interesting question afterwards. The question was whether I knew any examples of model categories which ...
9
votes
2answers
413 views

Fubini theorem for hocolim.

I wanted to ask the following question, Suppose $\mathbf{M}$ a cof generated model category and $I,~J$ two small categories. Suppose that $F:J\rightarrow \mathbf{M}^{\mathrm{I}}$ is a functor. Is it ...
7
votes
1answer
267 views

On the natural (bigraded) homotopy groups of a simplicial object in a model category

$\def\mc{\mathcal} \def\sm{\wedge}$ This question stems from the Goerss-Hopkins paper Moduli Problems for Structured Ring Spectra. Let me begin by attempting to summarize the relevant framework -- ...
0
votes
0answers
199 views

Induced model structure?

Let $H$ be a set with a binary operation $\cdot _H$ on it. To show that it is a group, one has to show that $\cdot _H$ is associative, find an identity element in $H$, and so forth; it might take ...
2
votes
2answers
229 views

Small model categories?

All the standard examples for model categories are large categories. Is it possible to have a small model category? Are there any interesting examples? EDIT: Since a complete small category is a ...
4
votes
0answers
85 views

Left Properness of Simplicial Commutative Algebras

A bit of light googling turns up several sources asserting that the model structure on simplicial commutative algebras over a ring is left proper (for example, 2.9 in Charles Rezk's paper Every ...
6
votes
0answers
236 views

[Reference Request] The Definition of Adjoint Functors between dg-categories

Let $A$ and $B$ be two dg-categories, $F: A \rightarrow B$ and $G: B \rightarrow A$ are two functors. Then what is the definition that $F$ and $G$ form an adjoint pair? In my mind $F\dashv G$ ...
7
votes
1answer
321 views

Does the Monoid Axiom hold for k-spaces?

In “Algebras and Modules in Monoidal Model Categories” Schwede and Shipley introduced the monoid axiom. If a cofibrantly generated monoidal model category $M$ satisfies this axiom and some smallness ...
4
votes
2answers
407 views

Topologically enriched homotopy colimits commuting with homotopy pullbacks

Hi, I am looking for an enriched analogon of Proposition 4.4 in https://www.google.de/url?q=http://hopf.math.purdue.edu/Rezk-Schwede-Shipley/simplicial.pdf Concretely, I would like to prove the ...
5
votes
0answers
173 views

relationships between properties of model categories

I've recently found myself running up against all sorts of adjectives that can describe a model category: cofibrantly generated, combinatorial, tractable, stable, locally (finitely) presentable, (left ...
3
votes
1answer
233 views

Model structure on category of endofunctors

Let $\mathcal C$ be model category, perhaps even cofibrantly generated. I don't assume that $\mathcal C$ is small. Recall that $End(\mathcal C)$ is the category of endofunctors on $\mathcal C$, with ...
3
votes
1answer
159 views

Need M combinatorial for existence of injective model structure on $M^G$?

I'm doing some work with model categories and operads, and to check a certain hypothesis I've had to learn a bit of equivariant homotopy theory. Let $M$ be a model category and $G$ be a finite group. ...
6
votes
1answer
227 views

State of knowledge on the Commutative W-spaces which appear in “Model Categories of Diagram Spectra”

This is a follow-up question to another question I asked last month. In MMSS's "Model Categories of Diagram Spectra," the authors consider many different models for spectra and prove monoidal Quillen ...
5
votes
2answers
718 views

On the difference between a projective chain complex and a level-wise projective chain complex

Let R be an associative ring with a unit, and consider the standard projective model structure of non-negatively graded (left) R-module, $Ch_R$. A map $f:M\to N$ in $Ch_R$ is a weak equivalence if it ...
1
vote
1answer
105 views

Bibliographical reference needed (characterizing the weak equivalences of a model category)

I need a bibliographical reference for this fact: let $\mathcal{M}$ be a model category such that all objects are cofibrant; then the class of weak equivalences is the class of maps f such that ...
3
votes
0answers
243 views

Is the geometric realisation of a nerve equivalent to the classifying space of its categorisation?

The nerve functor $N:Cat\to sSet$ has a left adjoint, namely the categorisation $C$. In fact there is a natural isomorphism $\epsilon: CN\to Id$ and $N$ is a full embedding.So if I start with a ...
3
votes
1answer
347 views

When is homotopy orbit space weakly equivalent to orbit space, other than situation of free action?

Let $M$ be a closed symmetric monoidal model category. Let $X$ be a cofibrant object (it can also be fibrant if you like) and let $\Sigma_n$ act on $X^{\otimes n}$ by permuting the factors (note that ...
3
votes
1answer
294 views

How strong is the condition that an operad splits, i.e. O(n)=O(s)xO(n-s)?

I recently proved something for the operad $Comm$ valued in a model category $M$ and am trying to generalize it to other symmetric operads. I'm very new to operads, so please forgive me if there are ...
3
votes
0answers
167 views

Boardman Vogt W construction for modules over an operad

The W construction of Boardman and Vogt gives a cofibrant replacement for operads. In http://arxiv.org/abs/math/9907073, Salvatore describes a cofibrant replacement for algebras over an operad. Is ...
5
votes
1answer
556 views

Is there a cheap proof that (homotopy) endomorphisms are functorial?

This is, in some sense, the homotopy version of this question.) If $C$ is a category with $iC$ the subcategory of isomorphisms, there is a functor $X \mapsto End(X)$ from $iC$ to the category of ...
8
votes
1answer
468 views

How many model category structures are there on Top?

I recently started learning a little model category theory and in particular I found this nice exercise. I only know a little topology, but this prompted me to wonder how many model category ...
17
votes
2answers
527 views

Limitations on model-categorical presentations

In higher category theory, it is common that a weak structure cannot be strictified in all directions simultaneously. For instance, a monoidal category is not (in general) equivalent to one that is ...
6
votes
2answers
509 views

Connective spectra versus simplicial abelian groups - very basic question

Hello, I have very general , "introductory" questions (It is quite hard for me to seek for specific things in the algebraic topology literature). I guess that connective spectra have a model ...
3
votes
2answers
436 views

Reference request - CDGA vs. sAlg in char. 0

Hello, Are the model categories of simplicial commutative algebras over $k$ and that of commutative differential graded algebras (in negative cohmological dimension) Quillen equivalent in char. 0 (or ...
1
vote
1answer
193 views

Technical question about cell complexes

Hello, I have a technical question. My terminology: I - set of standard inclusions $\partial I^n \to I^n$. I-cell (Relative Cell Complexes) - transfinite compositions of pushouts of maps in $I$. ...
1
vote
2answers
392 views

About a statement in Jardine and Goerss “Simplicial Homotopy Theory”

Hello, This probably just technical, but anyway: In "Simplicial Homotopy Theory" by Goerss and Jardine, chap. III, par. 2, after cor. 2.12, they describe a model structure on $Ch^{+}$, the category ...
4
votes
1answer
275 views

Transporting model structures via adjunctions

Hello, If $F$ is a left adjoint between $C$ and $D$, and $D$ has a model structure; We can define cofibrations and equivalences in $C$ to be those that are so after applying $F$. What are criterions ...
5
votes
1answer
295 views

Counterexample in cohomology for symmetric spectra?

Symmetric spectra are a particular model for spectra, introduced by Hovey, Shipley and Smith. They have the nice property that they have a well-behaved smash product. Our interest in spectra comes ...
1
vote
1answer
171 views

local model structure on simplicial presheaves

Hello, Let $\mathcal{C}$ be a (small) category equipped with a Grothendieck pretopology. Let $sPSh(\mathcal{C})$ be the category of simplicial presheaves on $\mathcal{C}$, together with its ...