Questions tagged [model-categories]

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.

Filter by
Sorted by
Tagged with
3
votes
2answers
308 views

Model categories with uniqueness

I've been learning about the construction of $(\infty,1)$-categories from simplicial sets, and more generally about the model category structure on simplicial sets, defined in terms of lifting ...
4
votes
0answers
93 views

Cofibrancy of a right module over an operad

If I have a right module $M$ over an operad $\mathscr{O}$ in spaces, are there general methods to determine if $M$ is cofibrant with respect to the Reedy model structure? What if I know that my module ...
2
votes
1answer
115 views

Is the category of topological operads left proper?

I just learned that there is a model structure on the category $Op_{Top}$ of topological operads, due to Berger-Moerdjik [1], obtained by right transfer of the Quillen model structure on $Top$. Since $...
5
votes
1answer
137 views

Enriched coends which preserve equivalences

Although this question might be formulated in higher generality, let me try to be concrete: Let $(\mathbf{Top},\times,*)$ be the monoidal category of compactly generated weak Hausdorff spaces; and let ...
2
votes
0answers
59 views

Left anodyne is covariant equivalence

I have a question about the proof of left anodyne between two simplicial sets over $S$, where $S$ is a simplicial set, is covariant equivalence. In the proof (HTT 2.1.4.6 or https://ncatlab.org/nlab/...
6
votes
2answers
423 views

Deformation of a diagram preserve the homotopy limit

I have been a bit sloppy in the title, but let me be specific. I stepped again into the subtle difference between homotopy limit and limit in the homotopy category, in the following version. Suppose ...
1
vote
0answers
85 views

Does the homotopy category of a model category detect weak equivalences?

Let $\mathcal{C}$ be a model category. Suppose that a morphism $f:x\to y$ in $\mathcal{C}$ induces an isomorphism in the homotopy category $\textbf{Ho}(\mathcal{C})$. Is it necessarily true that $f$ ...
2
votes
0answers
64 views

Identifying discrete points in derived hom spaces

Let M be a model category presenting an ∞-category $\mathcal{M}$, and let $f : X \to Y$ and $g : Y \to Z$ be arrows of M. Consider the following propositions: The connected component of $f$ in $\...
5
votes
1answer
195 views

Is the canonical model structure on strict $\infty$-Cat left proper?

Is the canonical (or Folk) model structure on the category of (strict) $\infty$-categories as constructed by Lafont, Métayer and Worytkiewicz in A folk model structure on omega-cat left proper ? All ...
4
votes
1answer
88 views

Checking that (hyper) sheafification is fibrant in local projective model structure on simplicial presheaves

Context and Notation Let $X$ be a manifold and $\mathcal{C} = Op(X)$ be the category of open subsets of $X$ with inclusions. I then consider the projective model structure on the (simplicial model) ...
3
votes
0answers
98 views

Cellularization functor and cohomological dimension

I'm little bit confused by the following problem. And I was hoping for some help. Here is the set up: I have an associative ring $R$. Let $M$ and $N$ two $R$-modules such that $F_{n}\rightarrow F_{n-1}...
6
votes
2answers
240 views

Is an open subset of a cofibration a cofibration?

Suppose $A \to X$ is a cofibration in topological spaces, and $U \subseteq X$ is an open subset. Is $U \cap A \to U$ a cofibration? Sorry if this is rather simple, but I don't have much experience ...
5
votes
0answers
165 views

How to learn about Higher Topoi

I have been learning quasicategory theory in an attempt to understand higher topoi, and I have been trying to look at as many different sources as possible. Higher Topos Theory provides a higher ...
7
votes
1answer
315 views

Two $\infty$-categories of chain complexes

In the literature, I've mostly seen two quasicategories coming from $\text{Ch}_R$: By considering $\text{Ch}_R$ with weak equivalences $\mathcal W = \text{quasi-isomorphisms}$, we can consider its ...
5
votes
1answer
307 views

Homotopy coherent colimits in chain complexes

In remark 1.2.6.2 (HTT), Lurie states that Another possible approach to the problem of homotopy coherence is to restrict our attention to simplicial (or topological) categories C in which every ...
2
votes
0answers
100 views

The derived $\infty$-category of sheaves on a site is closed symmetric monoidal

Let $X$ be a quasicompact semiseparated scheme. I am trying to recover the (closed) symmetric monoidal structure on $\mathcal{D}(\mathrm{QCoh}(X))$, the derived $\infty$-category of quasicoherent ...
2
votes
0answers
101 views

Structure sheaf of derived intersection

Everything is over a field $k$ of characteristic $0$. Let $X$ and $Y$ two closed dg subschemes over a dg scheme $Z$. I am trying to understand the structure sheaf of the derived intersection of $X$ ...
3
votes
0answers
103 views

Understanding fusion categories from the perspective of anyons?

ncatlab defines a fusion category as "A fusion category is a rigid semisimple linear (Vect-enriched) monoidal category (“tensor category”), with only finitely many isomorphism classes of simple ...
1
vote
1answer
172 views

Are dg-modules over a cofibrant dg-category cofibrant?

Fix a commutative ring $k;$ all dg-categories will be dg-categories over $k.$ Throughout the question, I will be following the notation and conventions of Toën's "The homotopy theory of dg-...
5
votes
1answer
92 views

Why is this condition necessary for the existence of a transferred simplicial model structure?

In chapter II of Goerss and Jardine's text on simplicial homotopy theory, they give a general theorem, Theorem 6.8, for transfer of simplicial model structures across a simplicial adjunction. This ...
6
votes
1answer
205 views

Inducing a model structure using a cosimplicial object

In a recent paper, Hiroshi Kihara induced a model structure on the category of diffeological spaces. He generates the classes of fibrations, cofibrations, and weak equivalences by constructing a ...
3
votes
1answer
133 views

Are cofibrations in topological monoids preserved by forming the product with the identity?

Consider the category $\mathrm{Mon}(\mathbf{Top})$ of topological monoids, together with the model structure transferred along the adjunction $F:\mathbf{Top}\rightleftarrows \mathrm{Mon}(\mathbf{Top}):...
10
votes
0answers
195 views

Are fibered categories fibrant objects in some model structure on Cat/C?

Given a category $\mathcal{C}$, by a category over $\mathcal{C}$, I mean a category $\mathcal{D}$ along with a functor $\pi_{\mathcal{D}}:\mathcal{D}\rightarrow \mathcal{C}$. Consider the category $...
5
votes
0answers
62 views

On how Simpson's model structure on Tamsamani $n$-prenerves is cofibrantly generated

I was reading through "A closed model structure for $n$-categories, internal $Hom$, $n$-stacks and generalized Seifert Van-Kampen" by Simpson and was struggling to piece together the ...
3
votes
0answers
109 views

does geometric realization factor through an endofunctor?

Does the functor of geometric realization of a simplicial set as a topological space, factor through an endofunctor of the category of simplicial topological spaces which does something non-trivial (...
3
votes
1answer
109 views

Boardman-Vogt construction for PROP(erads)

Let $\left\lbrace \mathsf{O}(n)\right\rbrace_{n\in \mathbb{N}} $ be an operad in a symmetric monoidal category $(\mathsf{C},\otimes, \mathbf{1})$ which in addition has the structure of a model ...
7
votes
2answers
439 views

Trees in chain complexes

$\DeclareMathOperator{\Ch}{\mathit{Ch}}$Let $\Ch_\mathbb{Q}$ denote the model category of chain complexes over rational numbers. Let $T_\ast$ be a tree in $\Ch_{\mathbb{Q}}$ with $n$ vertices. How to ...
5
votes
0answers
135 views

Obstructions to presenting $\infty$-categories by Reedy categories

We know that any locally presentable $( \infty , 1 )$-category admits a presentation by a Cisinski model category. However, I'm not clear on what obstructions there are to chosing a category $A$ to ...
11
votes
1answer
291 views

Lax monoidal fibrant replacement for marked simplicial sets

The category $\mathrm{Set}_{\Delta}^{+}$ of marked simplicial sets has a model structure (the (co)cartesian model structure) constructed by Lurie in HTT.3.1.3. I would like to know if this model ...
10
votes
1answer
276 views

Proof of existence of Joyal model structure via Cisinski theory?

I'm looking for a proof of the existence of the Joyal model structure -- with its usual description -- which uses Cisinski theory directly. The closest thing I know of is Theorem 5.26 of Ara's Higher ...
6
votes
1answer
237 views

About the dual of the cube lemma in homotopy theory

Consider the Reedy category $2\rightarrow 1 \leftarrow 0$. Consider a map of diagrams of topological spaces $D\to E$ over this Reedy category: The maps which are fibrations are depicted with the ...
5
votes
1answer
173 views

Schwänzl and Vogt, Cofibration and fibration structures in enriched categories

In [Schwänzl and Vogt, Strong cofibrations and fibrations in enriched categories], the authors refer to an earlier preprint, [Schwänzl and Vogt, Cofibration and fibration structures in enriched ...
2
votes
0answers
132 views

Constructing a model structure without knowing the class of weak equivalences

I need to prove the existence of a model structure but I am still unable to formulate a definition of the class of weak equivalences. I have the following informations: The underlying category is ...
5
votes
1answer
292 views

Contractibility of the category of cosimplicial resolutions

Let $\gamma : \mathcal{C} \to \mathcal{M}$ be a functor and define a cosimplicial resoultion of $\gamma$ as a functor $\Gamma: \mathcal{C} \to \mathcal{M}^{\Delta}$ such that $\Gamma C$ is Reedy ...
17
votes
0answers
318 views

monoidal (∞,1)-categories from weakly monoidal model categories

In Higher Algebra section 4.1.7, Jacob Lurie proves that the underlying $(\infty,1)$-category of a monoidal model category is a monoidal $(\infty,1)$-category. Dominic Verity and Yuki Maehara have (...
4
votes
1answer
201 views

Homotopy descent and cohomology

I've been reading "Structured Brown representability via concordance" by D.Pavlov (https://dmitripavlov.org/concordance.pdf) and I'm strugeling with a point and was wondering if someone ...
3
votes
1answer
313 views

Whitehead Theorem in $\mathbb{A}^1$-homotopy theory

I'm reading "UNSTABLE MOTIVIC HOMOTOPY THEORY" by Kirsten Wickelgren and Ben Williams (https://arxiv.org/pdf/1902.08857.pdf). There they have a version of Whitehead's Theorem, namely Prop ...
9
votes
0answers
207 views

When is an increasing union a colimit?

Let's consider a diagram $\Phi: \lambda \to \mathcal{T}_*$ $$ X_0 \to X_1 \to \cdots \to X_\xi \to X_{\xi+1} \to \cdots $$ of pointed spaces, indexed by some ordinal $\lambda$, in which each $X_\xi$ ...
6
votes
2answers
226 views

If $A$ is a cofibrant commutative dg-algebra over a commutative ring of characteristic $0$, then its underlying chain complex is cofibrant

Let $R$ be a commutative ring with characteristic $0$, namely it contains the field of rational numbers. Higher Algebra Proposition 7.1.4.10 tells that the category of commutative $R$-dg-algebras $\...
3
votes
0answers
130 views

Homotopy Kan extensions, formally coherent functors and derived Schlessinger criterion

Let $k$ be a finite field. Denote by $discArt_k$ the category of Artinian rings with residue field $k$ and $Art_k$ the category of Artinian simplicial rings. Consider a functor $\mathcal{F}:disArt_k\...
8
votes
0answers
100 views

Proper model category for “categories with finite limits”

I'm looking for a Quillen model category which model the $2$-category of 'small category with finite limits (and functors between them preserving finite limits)': Left proper, right proper, Enriched ...
3
votes
0answers
105 views

Preserves naively $\mathbb{A}^{1}$-homotopic maps

I've been studying $\mathbb{A}^{1}$-homotopy recently and would like some guidance with the question below. Thank you so much. Setup Fix $k$ a field of characteristic zero. Let $Sm_{k}$ denote the ...
4
votes
1answer
171 views

Almost combinatorial accessible model categories

Theorem: Assume VP. Let $\mathcal{M}$ be an accessible model category such that there exists a set of generating cofibrations $I$ and such that all objects are fibrant. Then it is combinatorial. ...
4
votes
0answers
180 views

Modelling rational spaces of finite $\mathbb{Q}$-type with spaces with finite simplices in every simplicial dimension

EDIT 2 Original question below. I will award the outstanding bounty for an answer to the following question (question (2) in the OP). Let $X$ be a Kan complex which is connected, nilpotent, and of ...
1
vote
1answer
93 views

Do limits in Waldhausen categories commute with ordinary limits?

Disclaimer : I asked this question on MSE, I have no answer and I think it's better to ask it here. Let $(A,\mathcal{W}, \mathcal{C})$ be a Waldhausen category with $A$ an additive category. On one ...
6
votes
3answers
453 views

Why does this construction give a (homotopy-invariant) suspension (resp. homotopy cofiber) in an arbitrary pointed model category?

In their text Foundations of Stable Homotopy Theory, Barnes and Roitzheim define the suspension of a cofibrant object X of a pointed model category to be the pushout of the diagram $*\leftarrow X\...
1
vote
1answer
231 views

How do you prove that the category of weak equivalences of sSet is accessible?

I am trying to prove that the category of simplicial sets is a combinatorial model category by using Proposition A.2.6.15 of Lurie's book, and this requires proving that the weak equivalences are ...
5
votes
2answers
174 views

Explaining the “free left fibration” functor for infinity categories

This is a cross-post from here I am reading A. Mazel-Gee's paper "All about the Grothendieck construction". In that paper he explains that the left adjoint ${\mathrm{Cat}_{\infty}}_{/\mathcal{C}}\to \...
5
votes
1answer
243 views

Applications of model categories

I was wondering if someone could explain some of the concrete applications of model categories. My possibly naive understanding of the motivation is that one wants to mimic the category of ...
1
vote
1answer
96 views

Why does this construction give a weak factorization system in the category of span diagrams?

In Dwyer and Spalinski's classic paper Homotopy Theories and Model Categories, they describe homotopy pushouts by defining a model structure on the category of span diagrams in a given model category $...

1
2 3 4 5
13