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
2 votes
0 answers
143 views

A category with two notions of weak equivalence?

I have a category with two classes of weak equivalences (neither class is contained in the other, and I believe they actually both form homotopical categories). I'm wondering if this notion exists in ...
user avatar
4 votes
1 answer
109 views

Fibrant replacement of an injective model category of enriched diagrams

Take a topologically enriched small category $\mathcal{P}$ and the category of enriched diagrams of spaces $[\mathcal{P},\mathrm{Top}]_0$. We work with the category of $\Delta$-generated spaces ...
user avatar
7 votes
0 answers
123 views

What is the right notion of a functor from an internal topological category to a topologically enriched category?

Let $\mathcal{C}$ be a category internal to (some convenient model for) topological spaces (which I will denote by $\mathsf{Top}$). In the question Greg Arone asks: What is the correct notion of a ...
user avatar
4 votes
0 answers
228 views

Signs in dg Yoneda embedding: proof of existence of Dwyer-Kan model structure on $\mathit{dgcat}$

I'm studying a proof of the fact that the category of dg-categories admits a (Dwyer-Kan) model structure. As references, I'm using Pieter Belmans' master thesis and Goncalo Tabuada's paper Une ...
user avatar
  • 1,015
2 votes
0 answers
62 views

fibrations lifting with respect to all closed inclusions

Why can't we require in the definition of a trivial fibration that the map has the right lifting property with respect to each inclusion of a closed subset into a (hereditary) normal space, or perhaps ...
user avatar
3 votes
0 answers
170 views

Is $\{M\to\Lambda\}^\text{lr}$ the class of trivial fibrations?

I am interested in the weak left-right orthogonal $\{M\to \Lambda\}^\text{lr}$ of a particular map of finite topological spaces with 5 and 3 points, depicted below, in fact it is the map of preorders ...
user avatar
5 votes
0 answers
151 views

Model structure on dg-algebras over an "equivariant fundamental category"?

For purposes of $G$-equivariant rational homotopy theory one wants a Quillen adjunction which generalizes the classical one of Bousfield-Gugenheim from plain dg-algebras/simplicial-sets to (co-)...
user avatar
5 votes
0 answers
141 views

Is the Reedy model structure cofibrantly generated?

I am reading about the Reedy model structure from Hovey's book and I was wondering if the Reedy model structure on $\mathcal{M}^{\Delta}$ is cofibrantly generated by a small set of arrows and permits ...
user avatar
3 votes
0 answers
66 views

Simplicial spaces and reflexive coequalisers

Let $X_\bullet$ be a simplicial space. Consider the reflexive coequaliser of $X_1\rightrightarrows X_0$, which we call $X$. Then we clearly have a map $\varphi\colon |X_\bullet|\to X$, where $|X_\...
user avatar
  • 1,563
5 votes
1 answer
272 views

The localization of the span category

Suppose one has a model category $C$ with its class of weak equivalences $W$. It is possible to form a separate homotopical category $(C_{\operatorname{span}},W_{\operatorname{span}})$ which has ...
user avatar
  • 3,162
8 votes
2 answers
277 views

example of "really" non-existent transferred model structure

I am looking for an example where a transferred model structure fails to exist, even if one is willing to work with semi-model category. But let me be more precise: Let's say I have a combinatorial ...
user avatar
  • 32.2k
2 votes
0 answers
135 views

When this coend is invariant up to homotopy?

It is a follow-up of my question Calculation of the homotopy colimit of a diagram of spaces which was badly formulated. Consider a fixed diagram $D:I^{op}\to {\rm Top}$ where ${\rm Top}$ is a ...
user avatar
3 votes
0 answers
119 views

Calculation of the homotopy colimit of a diagram of spaces

Consider a small category $I$. There exists a small diagram $D:I^{op}\to {\rm Top}$ where ${\rm Top}$ is a convenient category for doing algebraic topology such that for all small diagrams $X:I\to {\...
user avatar
14 votes
1 answer
375 views

On diagrams in model categories and rectification

For a model category $C$, I'm denoting $h_\infty(C)$ the associated $\infty$-category (for example its Dwyer-Kan localization at weak equivalences, or if $C$ is simplicial the simplicial nerve of the ...
user avatar
  • 32.2k
3 votes
1 answer
193 views

On the derived functor of the tensor product in a monoidal category

Let $(\mathcal{M},\otimes)$ be a symmetric monoidal model category; I'll assume for simplicity that every object is fibrant. Suppose that the unit $I$ is NOT cofibrant. I'm interested in whether the ...
user avatar
2 votes
1 answer
87 views

Fibrations of fibrant marked simplicial sets

Let $\mathrm{sSet}^+ = \mathrm{sSet}^+_{/ \Delta^0}$ be the model category of marked simplicial sets over the point. By Theorem 3.1.5.1 in Higher Topos Theory, this model category is Quillen ...
user avatar
8 votes
1 answer
364 views

Does derived hom commute with homotopy limits?

Suppose that $\mathcal{V}$ is a symmetric monoidal model category, and that $\mathcal{C}$ is a $\mathcal{V}$-enriched model category. Write $\Bbb{R}\!\operatorname{Hom}(-,-)$ for the derived Hom ...
user avatar
  • 632
4 votes
1 answer
253 views

When is a right lifting property closed under pushouts?

A class of morphisms defined by a right Quillen lifting property (weak orthogonality) is always closed under pullbacks (limits); under what assumptions will it be closed under pushouts (colimits)? In ...
user avatar
6 votes
0 answers
199 views

A model structure on CDGAs

Assume our base ring $k=\mathbb{Z}_{(p)}$ or $\mathbb{F}_p$ and for simplicity let us consider non-negative-graded connected algebras $A$ with an augmentation, i.e. $A^0=k,A^{<0}=0$. The question: ...
user avatar
3 votes
0 answers
312 views

Is hammock localization a localization in the sense of Lurie?

In a series of papers ([1], [2] and [3]), Dwyer and Kan introduced the hammock localization [2] as an effective technique to compute the simplicial localization of a model category [1]. This is meant ...
user avatar
4 votes
1 answer
81 views

Non-enriched Bousfield localizations

We know that whenever we have a Bousfield localization between two simplicial model categories, this gives rise to a reflective subcategory in $\infty$-categories (or coreflective, depending on the ...
user avatar
7 votes
0 answers
164 views

Does the functor of Chevalley–Eilenberg cochains $ CE^\bullet:L_\infty\mathbf{Alg}^{op}\to \mathbf{dgAlg} $ map homotopy limits to homotopy colimits?

I was wondering whether the functor of Chevalley–Eilenberg cochains $$ \operatorname{CE}^\bullet:L_\infty\mathbf{Alg}^\text{op}\to \mathbf{dgAlg} $$ maps homotopy limits to homotopy colimits. Is still ...
user avatar
2 votes
1 answer
148 views

Does the monoidal structure on semisimplicial sets preserve fibrant objects?

The category of semisimplicial sets has the structure of a monoidal category by the geometric product $\otimes$, see for example Rourke and Sanderson's paper '$\Delta$-sets I: Homotopy Theory'. This ...
user avatar
  • 65
3 votes
2 answers
363 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 ...
user avatar
  • 39
5 votes
0 answers
123 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 ...
user avatar
  • 3,162
3 votes
1 answer
128 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 $...
user avatar
5 votes
1 answer
212 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 ...
user avatar
  • 1,563
2 votes
0 answers
68 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/...
user avatar
  • 253
6 votes
2 answers
470 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 ...
user avatar
1 vote
0 answers
107 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$ ...
user avatar
  • 133
2 votes
0 answers
65 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 $\...
user avatar
5 votes
1 answer
237 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 ...
user avatar
  • 32.2k
4 votes
1 answer
117 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) ...
user avatar
  • 1,171
6 votes
2 answers
291 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 ...
user avatar
  • 1,180
5 votes
0 answers
196 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 ...
user avatar
7 votes
1 answer
396 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 ...
user avatar
5 votes
1 answer
420 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 ...
user avatar
2 votes
0 answers
113 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 ...
user avatar
2 votes
0 answers
170 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$ ...
user avatar
3 votes
0 answers
109 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 ...
user avatar
1 vote
1 answer
236 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-...
user avatar
  • 632
5 votes
1 answer
113 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 ...
user avatar
7 votes
1 answer
223 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 ...
user avatar
  • 1,213
3 votes
1 answer
143 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}):...
user avatar
  • 1,563
10 votes
0 answers
214 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 $...
user avatar
5 votes
0 answers
73 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 ...
user avatar
  • 363
3 votes
0 answers
110 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 (...
user avatar
3 votes
1 answer
146 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 ...
user avatar
  • 183
7 votes
2 answers
449 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 ...
user avatar
5 votes
0 answers
144 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 ...
user avatar

1
2 3 4 5
13