Model categories are categories with three distinguished classes of morphisms: the weak equivalences, the fibrations and the cofibrations. They provide a natural setting for [tag:homotopy-theory] in an arbitrary category, by mimicking the usual properties of (co)fibrations and weak equivalences in ...

learn more… | top users | synonyms

1
vote
0answers
22 views

Composition of Dual Maps in (rigid) Monoidal Categories

If $X, Y$ are objects in monoidal category $\mathcal{C}$ which have left duals $X^∗, Y^∗$ and $f : X → Y $ is a morphism in $\mathcal{C}$, then the left dual map $f^∗ : Y^∗ → X^∗$ of $f$ is given by: ...
0
votes
0answers
17 views

Is the category of H-bicomodules within the monoidal category of H-bimodules equivalent to the category of left H-comodules

Fix $\mathbb{k}$ a field. Let $H$ be a $\mathbb{k}$-quasi-bialgebra. Is there an equivalence $ {}_H^H \mathcal{M}_H^H \cong {}^H \mathcal{M}$ where ${}_H^H \mathcal{M}_H^H$ is the category of ...
1
vote
1answer
20 views

Is the homotopy category of modules over a quasi-Frobenius ring (pre)additive?

Let $R$ be a quasi-Frobenius ring and $Mod_R$ the category of $R$-modules. One can prove that it admits a model structure whose weak-equivalences are stable equivalences, whose cofibrations are monos ...
3
votes
0answers
27 views

If weak-equivalences in a model category are generated by an equivalence relation $\sim$ on hom-sets…

Suppose that $C$ is a bicomplete category, and $\sim$ is an equivalence relation defined on every hom-set of $C$, compatible with composition. Then we can define the quotient category $C/\sim$ whose ...
2
votes
0answers
63 views

Is the Quillen Injective Model Structure on the category of positive cochain complexes of R-modules (co)fibrantly generated?

Denoted with $Ch^+_R$ the category of positive cochain complexes of R-modules (for a commutative ring $R$), it admits a model structure where: weak-equivalences are quasi-isomorphisms; cofibrations ...
1
vote
1answer
71 views

Understanding cofibration sequence

Recently I'm studing some basic homotopy theory. An important brick of the exact sequence of cofibration is the following sequence: $$X \stackrel{f}{\longrightarrow} Y \stackrel{i}{\longrightarrow} C ...
3
votes
1answer
44 views

Inclusions of CW-complexes are cofibrations.

Has the inclusion from the $ (n - 1) $-sphere in the $ n $-disc the left lifting property for all acyclic Serre fibrations? I am looking for a reference for this proposition, or alternatively, for an ...
1
vote
0answers
64 views

“Stable model categories are categories of modules” - Clarification about a few things

I was reading Schwede and Shipley's "Stable model categories are categories of modules", I needed clarification about a few things: 1 - When they say that stable model categories are categories of ...
5
votes
1answer
139 views

What does it mean for a category to be “tensored over” another category?

What does it mean for a category to be "tensored over" another category? I was reading "Stable model categories are categories of modules" by Schwede and Shipley ...
1
vote
0answers
28 views

Proof of Quillen's lemma about minimal fibrations

In Hovey's book $\textit{Model categories}$ (available online here http://www.math.rochester.edu/people/faculty/doug/otherpapers/hovey--model-cats.pdf) one finds the classical result that any ...
3
votes
0answers
153 views

A construction with homotopy colimits and homotopy pullbacks for descent.

I have some troubles in trying to give a meaningful interpretation to the following property which is stated in this preprint by professor Rezk (see Definition 6.5) as part of the requirement for a ...
-2
votes
1answer
45 views

Homotopy split monomorphisms [closed]

Let $C$ be a model category. Recall that a morphisme $f : X \to Y$ is called a homotopy monomorphism if the diagonal $X \to X \times^h_Y X$ induces an isomorphism in the homotopy category. Suppose ...
1
vote
0answers
30 views

Criterion for projectively cofibrant diagrams?

Let $\mathbf{D}$ be a small category, $\mathbf{Set}$ the category of sets and $\mathbf{sSet}$ the category of simplicial sets with its usual model structure. The category of functors $\mathbf{D}\to ...
2
votes
1answer
87 views

How was the functorial factorization axiom “frequently misstated”?

In modern times, a model category is frequently required to have functorial factorizations of morphisms into (fibration/acyclic cofibration) and (acyclic fibration/cofibration). But the precise ...
3
votes
0answers
45 views

Derived categories of filtered modules

For a ${\mathbb Z}$-filtered ring ${\mathbb k}$ one can consider the category ${\mathbb k}\text{-filt}$ of ${\mathbb Z}$-filtered ${\mathbb k}$-modules, equipped with the exact structure which ...
3
votes
1answer
43 views

Is the induced map $\varphi$ on the homotopy cofibers null-homotopic in this situation?

Let \begin{eqnarray} X & \xrightarrow{f} & * \\ \downarrow & & \downarrow\\ Y & \xrightarrow{g} & Z \end{eqnarray} be a (strictly) commutative diagram of pointed CW-complexes ...
2
votes
1answer
41 views

small limits in the pointed category of a category with all small limits

In Hovey, Model Categories, he says that given a category $\mathcal{C}$ with a small limits and colimits, if we form the category of pointed objects ,i.e. the category with objects as morphisms ...
1
vote
1answer
39 views

definition of a model category

In Quillen's book ,,Homotopical Algebra" he defines a model category as a category with three types of arrows satyfying some axioms. I have problems with understanding two of them. These axioms says ...
3
votes
1answer
56 views

Homotopy and chain homotopy determine each other

In continuation of this previous question, I'm having problems with the following proposition from Kamps and Porter's Abstract Homotopy and Simple Homotopy Theory: Proposition (3.7). [page 210] ...
1
vote
1answer
135 views

Constructing model category from given category

Given a model category $\mathcal{M}$, Goerss and Hopkins constructed a subcategory (see Structured Ring Spectra, p. 160) $\mathbf{E}$ of $\mathcal{M}$ such that: If $X\in\mathbf{E}$ and $Y$ is ...
11
votes
1answer
439 views

Doubt about proof of factorization $f=pi$, where $i$ is acyclic cofibration and $p$ is fibration

I try to understand a proof in More Concise Algebraic Topology: Localization, completions and model categories by May & Ponto (pdf). The proof is on page 262, and it is for the statement Any ...
4
votes
0answers
49 views

Direct way to show that 2-out-of-6 holds for weak equivalences in a model category?

In a model category, when weak equivalences are inverted, nothing else gets inverted. It follows that weak equivalences satsify 2-out-of-6. But the first sentence takes some work to show. Is there a ...
2
votes
1answer
40 views

Chain complexes as a model category?

I'm reading a paper called Model Categories and Simplicial Methods by Paul Goerss and Kristen Schemmerhorn, and they show that cofibrations have lifting property with respect to acyclic fibrations for ...
2
votes
1answer
141 views

Functorial cofibrant replacement does not have to be fibration?

I'm new to model category theory, and I find myself confused about the different meanings of cofibrant replacement in literature. The usual definition is that we assign to every object $X$ in our ...
1
vote
1answer
47 views

are equivalences in an $(\infty,1)$-category preserved under colimits

Let $C$ be an $(\infty,1)$-category (e.g. quasicategory) having all small colimits. If $f_i:x_i \to y_i$ are equivalences in $C$ indexed by a small set $I$, is $f:=\mathrm{colim}_{i \in I} f_i$ an ...
0
votes
1answer
57 views

Strong (trivial) cofibration in Lurie's HTT

in Lurie's book HTT in annexe A, proof of Proposition A.2.8.2 page 824, he mentions that a map is a "strong (trivial) cofibration" but I didn't succeed to find the definition of this notion that seems ...
2
votes
1answer
90 views

Hurewicz model structure and cofibrantly generated model categories

Is it an open problem if $\mathbf{TOP}$ with Hurewicz (Strøm) model structure is cofibrantly generated?
5
votes
1answer
76 views

Not every over-under-category is cocomplete

Something is wrong between me and Hirschhorn: point 3 of this result (in the book Model categories and their localizations): 7.6.4. Homotopy in undercategories and overcategories. Theorem ...
3
votes
1answer
82 views

Derived categories as homotopy categories of model categories

Given an abelian category A, is there a model structure on the category of complexes C(A) (or K(A) ("classical" homotopy category)) such that its homotopy category "is" the derived category D(A)?
1
vote
0answers
39 views

Homotopy product

Sorry if this is a trivial question. Let $ \mathfrak{X} $ be a model category such that all objects of $ \mathfrak{X} $ are fibrant. Then we have a total derived functor of the product $ ...
3
votes
0answers
153 views

Homotopy limits

Let $\mathfrak C$ be a Grothendieck category and let ${\bf D}=\mathrm{D}(\frak C)$ be its derived category, that is, consider the injective model structure on the category $\mathrm{Ch}(\frak C)$ of ...
4
votes
1answer
137 views

Homological algebra (homotopical approach)

I have gone through a couple of courses in homological algebra, in the context of derived functors, abelian categories,... Now I would like to watch it from another perspective: my main interest is ...
7
votes
0answers
105 views

Origins of the name “Q” and “R” for cofibrant and fibrant replacement functors.

In a model category $\mathscr M$ (in the modern sense, i.e. closed and with functorial factorizations), there is a notion of fibrant and cofibrant replacement functors. Specifically, for any object ...
5
votes
2answers
83 views

Duality 2-functor on adjunctions

This question is about the definition of the duality 2-functor in Hovey's book on Model categories, Section 1.4. There he defines the 2-category of categories with adjunctions as follows: objects ...
1
vote
1answer
69 views

Inequivalent Model Categories

A Model Category is, informally, a category where a "reasonable" notion of homotopy can be developed. I'm curious to know when two model categories are considered equivalent to each other. Thanks for ...
1
vote
0answers
75 views

Cofibrantly generated categories, cardinals, and the Thomason model structure on $\mathbf{Cat}$.

When reading up the general theory of cofibrantly generated model categories, anything related to the small object argument relies on the choice of some cardinal $\lambda$. I.e. we need ...
3
votes
0answers
57 views

Can injective and projective model structures be the same ?

Is there a non trivial example where injective and projective model structures coincide ? By non trivial I mean an example of a functor category on a non discrete base category where I guess ...
4
votes
1answer
78 views

Question on the uniqueness of a homotopy colimit up to unique isomorphism

Let me first give an abstract definition of the homotopy colimit. Let $C$ be a cofibrantly generated model category and let $D$ be a small category. There is an adjunction $$ ...
4
votes
0answers
41 views

Coherence between lifts in a model category

I'm afraid that my question won't be specific but I can edit it depending on the reactions I will get. In a functor category $[\mathcal{C},\mathcal{D}]$ (typically a presheaves category) with a model ...
0
votes
1answer
39 views

The definition of a (pseudo-)Dwyer map

I've looked up the definition in Raptis Homotopy Theory of Posets, on the nlab and even Cinskies a classe des morphismes de Dwyer n'est pas stable par rétractes, but none of these make sense to me. ...
1
vote
0answers
26 views

Explicit fibrant replacement

Do you know an explicit fibrant replacement in the injective model structure on a functor category (I'm essentially interested in the case of presheaves of groupoids) ? Best
3
votes
0answers
91 views

Injective model structure

I equip the category of presheaves $[\mathcal{D}^{op},\text{Gpd}]$ with the injective model structure ($\mathcal{D}$ is just any small category). In this structure, weak equivalences and cofibrations ...
5
votes
2answers
121 views

Model structure on sSet

Which is the model structure on $ \text{sSet} $ (category of simplicial sets) that makes $\text{sSet}$ Quillen equivalent to the category $ \text{Cat} $ (of small categories) by the adjunction ...
2
votes
2answers
83 views

Right homotopic maps iff chain homotopic

Assume the model structure on $Ch(R)$ (chain complexes of left modules over the ring $R$) in which fibrations are dimensionwise epimorphisms (i.e. surjections) and weak equivalences are homology ...
3
votes
1answer
84 views

The stable category of modules over quasi-Frobenius ring as a homotopy category

I'm studying homotopical algebra and I'm trying to prove the following fact: If $R$ is a quasi-Frobenius ring (for $R$-modules one has "projective module$\iff$ injective module") then the stable ...
2
votes
0answers
90 views

coproduct of base and fiber is weakly equivalent to total space of a fibration in stable model category

Let $C$ be a proper pointed model category such that for any $X, Y \in C$ the natural morphisms $$QX \coprod QY \to X \coprod Y \to RX \times RY$$ are all weak equivalences (here $Q $ and $R$ are ...
1
vote
1answer
35 views

Does There Exist an Induced Model Strucutre via Ordinary Equivalence?

If $F:\mathcal{M} \to \mathcal{C}$ is an equivalence of categories, and $\mathcal{M}$ is a model category, does $\mathcal{C}$ inherit a model structure from $\mathcal{M}$ via $F$? If not, is there a ...
8
votes
1answer
292 views

The projective model structure on chain complexes

Let $\mathcal{A}$ be an abelian category with enough projective objects and let $\mathcal{M}$ be the category of chain complexes in $\mathcal{A}$ concentrated in non-negative degrees. Quillen [1967, ...
2
votes
0answers
36 views

2 out of 3 axiom and simplicial sets

Let $i\colon\mathcal W\to\mathcal C$ be the inclusion of a subcategory. Unless I'm mistaken, the 2 out of 3 axiom for $\mathcal W$ to be a category of weak equivalences can be expressed as the ...
3
votes
1answer
130 views

Are cofibrant/fibrant replacements homotopically unique?

Let $\mathcal{M}$ be a model category in the old sense, i.e. with factorisations that are not necessarily functorial, and let $X$ be an object in $\mathcal{M}$. The category of cofibrant replacements ...