The model-categories tag has no usage guidance.

**1**

vote

**0**answers

180 views

### Model structure on the category of chain complexes in an abelian category gives rise to the derived category

Let $\mathcal A$ be an abelian category with enough projectives. Consider a morphism $f \colon X^\bullet \longrightarrow Y^\bullet$ in the category $C(\cal A)$ of chain complexes in $\mathcal A$.
Is ...

**7**

votes

**1**answer

346 views

### Homotopy left-exactness of a left derived functor

Let
$$
F: \mathcal{C} \leftrightarrows \mathcal{D} :G
$$
be a Quillen adjunction between model categories. Consider the corresponding adjunction of total derived functors
$$
\mathbb{L}F: ...

**4**

votes

**1**answer

128 views

### Equivariant versus retractive spaces: a reference request

Let $T$ be the category of compactly generated weak Hausdorff spaces with model structure given by Serre fibrations, Serre cofibrations and weak homotopy equivalences. Let $G = |G.|$ be the ...

**3**

votes

**1**answer

193 views

### Directed colimits of maps in a combinatorial model category

I have the following situation. $M$ is a combinatorial model category, or if you like a locally presentable $(\infty,1)$-category. I have a set of maps $S$ and I let $C$ be the class of maps generated ...

**9**

votes

**1**answer

583 views

### Seeking errata for Berger-Moerdijk Axiomatic Homotopy Theory for Operads

The paper I'm referring to can be found here. It came out in 2003. I've been told by professors before that I should be careful relying on things from this paper, because it contained errors.
Is ...

**6**

votes

**2**answers

480 views

### Cofibrant replacements of a given object in a combinatorial model category

In a combinatorial model category, every $\lambda$-filtered colimit is a homotopy colimit for $\lambda$ regular big enough. So for $\lambda$ regular big enough, every $\lambda$-filtered colimit of a ...

**4**

votes

**0**answers

225 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 ...

**5**

votes

**2**answers

384 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

**1**answer

307 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 ...

**13**

votes

**1**answer

560 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

**2**answers

488 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

**1**answer

445 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

**0**answers

161 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 ...

**15**

votes

**1**answer

768 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

**1**answer

258 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 ...

**8**

votes

**3**answers

630 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 ...

**4**

votes

**1**answer

393 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 ...

**6**

votes

**3**answers

603 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 ...

**4**

votes

**1**answer

160 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 ...

**11**

votes

**1**answer

436 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

**2**answers

428 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 ...

**13**

votes

**2**answers

474 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 ...

**7**

votes

**1**answer

351 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

**0**answers

134 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 ...

**7**

votes

**3**answers

583 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

**0**answers

370 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 ...

**7**

votes

**1**answer

287 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 ...

**10**

votes

**2**answers

568 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 ...

**10**

votes

**2**answers

524 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

**1**answer

321 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

**0**answers

253 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 ...

**4**

votes

**2**answers

291 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 ...

**5**

votes

**1**answer

156 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

**1**answer

361 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

**1**answer

355 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 ...

**6**

votes

**2**answers

474 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

**0**answers

183 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 ...

**4**

votes

**1**answer

274 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 ...

**4**

votes

**2**answers

255 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

**1**answer

303 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 ...

**7**

votes

**2**answers

1k 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

**1**answer

113 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 ...

**4**

votes

**0**answers

273 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 ...

**4**

votes

**1**answer

473 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

**1**answer

353 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

**0**answers

220 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

**1**answer

668 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 ...

**9**

votes

**1**answer

619 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 ...

**18**

votes

**2**answers

592 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 ...

**8**

votes

**2**answers

660 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 ...