The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
0answers
48 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 ...
5
votes
1answer
51 views

Monoidal structure on simplicial sheaves

Let $\mathcal{C}$ be a site and let $sPh(\mathcal{C})_{proj}$ be the category of simplicial presheaves equipped with the projective model structure. This category is a closed monoidal model category ...
0
votes
0answers
17 views

Criterion for projectively cofibrant diagrams? [duplicate]

(repost from math.stackexchange) 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 ...
5
votes
2answers
339 views

A general theory of quasi-functors, generalizing from dg-categories to $\mathcal V$-categories, with $\mathcal V$ monoidal model category

I employ the vast majority of the post to develop the notion of quasi-functor between dg-categories: I think it is important to get the idea. Let $k$ be a field, and let $\mathcal V =\mathbf C(k)$ ...
4
votes
0answers
112 views

When does the canonical model structure on $\mathcal V$-$\mathbf{Cat}$ give a structure of monoidal model category?

Let $\mathcal V$ be a closed symmetric monoidal model category. It is well known that the category $\mathcal V$-$\mathbf{Cat}$ of $\mathcal V$-enriched categories is itself a closed symmetric monoidal ...
33
votes
4answers
6k views

Do we still need model categories?

One modern POV on model categories is that they are presentations of $(\infty, 1)$-categories (namely, given a model category, you obtain an $\infty$-category by localizing at the category of weak ...
4
votes
1answer
144 views

fibrant generation of $sSet_{Quillen}$?

I wonder if someone has proved that $sSet_{Quillen}$ is not a fibrantly generated model structure ? Do we know something about the possible fibrant generation of $sSet_{Quillen}$ ? Thanks
3
votes
0answers
96 views

Does the stable category of a nice exact category embed in (the underlying category of) a derivator?

In Derivators, Pointed Derivators, and Stable Derivators, Moritz Groth gives as an example of a non-invertible morphism with trivial cone an inclusion $f:X\to I$. Here $X$ is an object of injective ...
3
votes
0answers
121 views

hypothetical model structure on the category of model categories

It is natural to ask if the category of model categories can be endowed with the structure of a model category where the class of weak equivalences is given by the Quillen equivalences knowing that ...
5
votes
1answer
463 views

Local Joyal-simplicial presheaves?

It is well known that left Bousfield localizations of the global functor model category $Func(C^{op}, SSet_{standard})$ of functors with values in simplicial sets equipped with the standard model ...
1
vote
0answers
78 views

Function complex and simplicial presheaves

Let $\mathcal{C}$ be a small catgeory, $\mathcal{E}$ be a model category and $A\: : \: \mathcal{C}\to \mathcal{E}$ be a functor. Let $\tilde{A}$ be an objectwise cosimplicial frame on A. Consider the ...
5
votes
0answers
247 views

Left adjoints to several inclusions of homotopy simplicial model categories

The left adjoint to the inclusion $sGrp\hookrightarrow sPtSet$ of the category of simplicial groups into the category of pointed simplicial sets is homotopy equivalent to the loop suspension functor ...
2
votes
0answers
66 views

Equivariant model structure on $G-\mathrm{Gpd}$

Let's denote $G\text{-}\mathrm{Gpd}$ the presheaf category $[\mathbf{B}G, \mathrm{Gpd}]$. Now assume that $\mathrm{Gpd}$ is endowed with its natural model structure where weak equivalences are ...
2
votes
1answer
197 views

When are homotopy categories of model categories closed modules over the homotopy category of $(\infty, 1)$-categories?

Let $\mathrm{Quillen}$ be the model category of simplicial sets with the Quillen model structure, and $\mathrm{Joyal}$ the model category of simplicial sets with the Joyal model structure. As is ...
7
votes
2answers
331 views

Constructing a “geometric” model structure on Cat by localizing the “categorical” model structure

Let $\text{Cat}$ be the category of (small) categories and functors. There is a "categorical" (also called "canonical" or "folk") model structure on $\text{Cat}$ in which the weak equivalences are the ...
7
votes
0answers
215 views

A model category for E-infty algebras in a non-monoidal model category?

Given a suitable nice symmetric monoidal category $C$, symmetric monoidally enriched, tensored, and cotensored over a symmetric monoidal category $S$, and an operad $\mathcal{O}$ in $S$, we can ...
2
votes
1answer
129 views

recognising weak equivalences of simplicial sets

$\require{AMScd}$ I am interested in detecting using a lifting property when a map $f:X\to Y$ in $sSet$ (with the standard Kan model structure) is a weak equivalence. In the paper Weak Equivalences ...
6
votes
2answers
124 views

An example of two cofibrant dg categories whose tensor product is not cofibrant

I have been reading the paper by Toën "The homotopy theory of dg categories and derived Morita theory" where in chapter 4 it is stated that the tensor product of two cofibrant dg categories $C$ and ...
1
vote
1answer
111 views

Does the nerve functor preserve fibrations?

As asked in the title but more specifically: does the nerve functor from Cat to sSet map a fibration between groupoids to a Kan fibration ? By fibration of groupoids I mean a fibration for the ...
4
votes
2answers
238 views

Reference for homotopy (co)limits of (co)chain complexes via totalization of double complexes

It seems to be a well-known fact that homotopy (co)limits of (co)simplicial diagrams of nonnegatively graded (co)chain complexes in (Grothendieck) abelian categories can be computed by using the ...
6
votes
0answers
216 views

A model category for descent?

Recall that an $(\infty,1)$-category $C$ is said to have descent if for any small diagram $X:I\to M$ with (homotopy) colimit $\overline{X}$, the adjunction between $C/\overline{X}$ and "equifibered" ...
9
votes
1answer
274 views

Example of a saturated class of morphisms which is not _obviously_ saturated?

By "saturated class of morphisms" in a category $\mathcal{C}$, I mean a subcategory $\mathcal{W} \subset \mathcal{C}$ such that the image of $\mathcal{W}$ in $\mathcal{C}[\mathcal{W}^{-1}]$ consists ...
0
votes
1answer
188 views

equivalence in simplicial category

Let $(\mathcal{C},W)$ be a category with weak equivalences. One can build from $(\mathcal{C},W)$ its hammock localization $L^{H}(\mathcal{C},W)$ which is a simplicial category $\textit{ie}$ a category ...
1
vote
1answer
163 views

Bounded dg algebra vs unbounded dg algebras

1)Let $Cd_{\geq 0}ga$ be the category of non negatively commutative cochain dg algebra over a field $\Bbbk$ of charachteristic zero. Let $w\: : \: Cd_{\geq 0}ga\to dg_{\geq 0}Mod$ be the forgethfull ...
12
votes
2answers
548 views

global fibrations of simplicial sheaves

I'm reading the classical Brown-Gersten's paper "Algebraic K-theory as generalized sheaf cohomology" and I'm stuck with their choose of global fibrations. Namely, a morphism of simplicial sheaves $p : ...
16
votes
1answer
1k views

Joyal's letter to Grothendieck

Mostly out of curiosity: Where do I find Joyal's letter to Grothendieck in which he defines a model structure on simplicial sheaves? The question was already asked in this MO post, but that ...
3
votes
1answer
139 views

Model bicategories

From a conceptual point of view, the notion of a "model bicategory" is clear: a complete, cocomplete bicategory where there are two "very weak" factorization systems, where the commutativity of the ...
5
votes
2answers
154 views

Localizations of model categories and $\infty$-categories

I am interested in the relation between Bousfield localizations of model categories and localizations of $(\infty,1)$-categories. According to Hirschhorn's book we can form the left Bousfield ...
7
votes
1answer
148 views

Small objects vs Compact objects

Given a cocomplete category $C$, is there an example of an object which is small but not compact? I am working with the following definitions of small and compact: Given a cardinal $\kappa$ one ...
11
votes
2answers
659 views

Are generalized cohomology theories a homotopy category of some category of invariants?

I was taught to think of generalized cohomology theories as the homotopy category of (symmetric) spectra. But is there also a category of 'invariants', that is, some category of contravariant functors ...
5
votes
1answer
99 views

Site dependance of the Cech weak equivalences on simplicial sheaves

Let $\mathcal{T}= sh(C,J)$ a Grothendieck topos of sheaves over a (ordinary) site. One endows the category of simplicial presheaves over $C$ with the "Rezk-Lurie" model structure: that is we start ...
2
votes
0answers
49 views

Cell(J) vs Cof(J) in $\text{sSet}_{\text{Quillen}}$

consider sSet equipped with its Quillen model structure $\text{sSet}_{\text{Quillen}}$, we know that a trivial cofibration is a retract of a transfinite composition of pushouts of horn inclusions. I ...
9
votes
2answers
452 views

Model structure for cooperads and for coalgebras

I am studying the homotopy theory of (algebraic) operads and I came up with several questions I am unable to answer to. I would like to stress that I don't have applications in mind, I just would like ...
4
votes
1answer
103 views

Proper Model Category

Let R be a commuative ring. Consider the category of simplicial R-modules with the projective model stucture. Can someone give me a precise reference which proves that this model category is proper? ...
4
votes
1answer
191 views

Does “simplicial” commute with “Bousfield localization”?

Let $M$ be a model category and $S \subseteq \operatorname{Mor}(M)$ a set of arrows in (the underlying strict category of) $M$. Recall that the left Bousfield localization $L_SM$ of $M$ with respect ...
3
votes
0answers
83 views

model structure of noncommutative non-negatively graded DGAs

Take non-negatively graded differential graded algebras, which are vector spaces over some field (the last assumption just to simplify things). We have the usual $d^2=0$, but the product is not ...
6
votes
0answers
132 views

Fibrations of the injective model structure on G-simplicial sets

Let $G$ be a discrete group. Consider the category of $G$-simplicial sets endowed with the injective model structure, i.e. cofibrations are the injective maps and weak equivalences are the maps which ...
2
votes
0answers
106 views

When is the product of an infinite family of simplicial sets also a homotopy product?

The homotopy product of an infinite family of simplicial sets can be computed by deriving the product functor sSetW→sSet, for example, by performing the componentwise fibrant replacement using Kan's ...
8
votes
0answers
153 views

Reference for maps whose pushouts are also homotopy pushouts

Consider a category C with weak equivalences, e.g., a model category. For the purposes of this question, let's say that a morphism f in C is an i-cofibration if any pushout (alias cobase change) ...
2
votes
0answers
74 views

Latching space functor in Reedy model strucutre

I am new to MO and I hope that this question is suitable for it. Following Hovey's "Model Categories" ( http://ericmalm.net/ac/projects/symmetric-spectra/hovey--model-cats.pdf ) to study model ...
6
votes
0answers
166 views

Can we “complete” model categories to compute derived functors in the usual way?

Suppose we have a functor between two model categories $F\colon \mathcal{C}\to \mathcal{D}$. Suppose we don't know that it is a part of a Quillen pair. Nevertheless, it can still happen that the ...
5
votes
2answers
279 views

Is the category of $G$-spaces a model category?

Let $G$ be a compact Lie group and $\mathcal{C}_G$ the category of $G$-spaces (ie. topological spaces endowed with continuous left $G$-actions). Is there a model category structure on $\mathcal{C}_G$ ...
6
votes
1answer
313 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
3answers
490 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 ...
5
votes
1answer
390 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 ...
15
votes
4answers
503 views

Fibrations and Cofibrations of spectra are “the same”

My question refers to a folklore statement that I have now seen a couple of times, but never really precise. One avatar is: "For spectra every cofibration is equivalent to a fibration" (e.g. in the ...
11
votes
2answers
332 views

The definition of Reedy category

The common definition of Reedy category seems to be this one that a Reedy category is a small category $R$ with two wide subcategories $R_+$ and $R_-$ and an ordinal-valued degree function on its ...
6
votes
1answer
368 views

Do homotopy limits compute limits in the associated quasicategory in the non-combinatorial model category case?

Suppose that $\mathcal{M}$ is a model category which is not combinatorial, does a homotopy limit in $\mathcal{M}$ correspond to a limit in the associated $\left(\infty,1\right)$-category? How about ...
5
votes
2answers
241 views

Morphisms every pushout of which is a weak equivalence

Let $M$ be a category equipped with a class of weak equivalences $W$. Is there a name for a morphism $f$ such that every pushout of $f$ (including, of course, $f$ itself) is a weak equivalence? For ...
1
vote
0answers
76 views

When can I compute the simplicial mapping space from a presheaf to a simplicial presheaf naively?

Suppose that $\mathscr{C}$ is is a small category, $Y$ is a presheaf (of sets) on $\mathscr{C},$ and $X_\bullet$ is a simplicial presheaf. There is a spectrum of simplicial model structures on ...