The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
36 views

Contraction of simplicial presheaves

Let $X,Y$ be two simplicial presheaves on a small category $\mathcal{C}$, let $*$ be the final simplicial presheaf. Consider the category of simplicial presheaves equipped with its projective model ...
2
votes
0answers
29 views

Comparing right and left quasi-representable bimodules

Let $\mathcal V$ be your favourite (closed, symmetric) monoidal model category. To fix ideas, set $\mathcal V = \mathrm{Ch}(k)$, the category of chain complexes over a fixed commutative ring. Given a ...
-1
votes
0answers
45 views

Is any model category simplicially enriched?

Let $\mathcal{M}$ be a model category. Let $F\: : \: \mathcal{M}\to\mathcal{M}^{\boldsymbol{\Delta}}$ be a functorial cosimplicial frame. Then the function complex between two objects ...
8
votes
1answer
248 views

When is a quasicategory over $N(\Delta)^{op}$ a planar $\infty$-operad?

In Lurie's DAG II, a notion of monoidal $\infty$-category is given that differs from the notion given in his later book Higher Algebra. In the former, the relevant structure is a cocartesian ...
5
votes
1answer
108 views

Technical lemma about frame and cosimplicial resolution

I'm reading the Hirschhorn's book model categories and their localization and I have a question about frames and resolutions. Following the book (definition 16.6.1) a cosimplicial frame on an object ...
4
votes
0answers
236 views

A construction with homotopy colimits and homotopy pullbacks for descent

EDIT: Following the lines of some suggestions in the comments below, I try to add something more to explain the problem better. A map $\text{hocolim}Y\rightarrow\bar{Y}$ in $\text{Ho}(\mathbf{M})$ is ...
5
votes
1answer
59 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
18 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 ...
4
votes
0answers
115 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 ...
3
votes
0answers
99 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
123 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 ...
4
votes
1answer
149 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
2
votes
0answers
69 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 ...
1
vote
0answers
79 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 ...
7
votes
0answers
223 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
199 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 ...
6
votes
2answers
128 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 ...
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 ...
4
votes
2answers
245 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 ...
1
vote
1answer
114 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 ...
6
votes
0answers
239 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
277 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 ...
1
vote
1answer
167 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 ...
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 ...
0
votes
1answer
189 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 ...
3
votes
1answer
140 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
155 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
152 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 ...
5
votes
1answer
102 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
52 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 ...
4
votes
1answer
105 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
192 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
86 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
155 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
75 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
167 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
342 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)$ ...
5
votes
2answers
282 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$ ...
16
votes
4answers
527 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
337 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 ...
7
votes
2answers
335 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 ...
6
votes
1answer
372 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
242 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
78 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 ...
3
votes
0answers
92 views

How do you compute a homotopy colimit in a category of fibrant objects?

This question may be a bit vague, (so if suggested, can I make it community wiki), but I was wondering what techniques there exists for computing homotopy colimits in a category of fibrant objects. A ...
6
votes
0answers
139 views

When does a sheaf of categories represent a homotopy sheaf?

Suppose that $F$ is a sheaf of categories (on a Grothendieck site or even a topological space). By this, I mean a sheaf in the naive 1-categorical sense, so it can equivalently be viewed as a category ...
3
votes
0answers
107 views

On the preservations of certain colimits (by covers) under simplicial localization (of a category of fibrant objects)

Suppose I have a category of fibrant objects $\mathcal{C}$ (with weak equivalences $W$ and fibrations $F$) together with a subcanonical Grothendieck pre-topology $J$ whose covering families consist of ...
2
votes
0answers
126 views

Which reflexive coequalizer diagrams are projectively cofibrant?

Consider the walking reflexive pair category W, which consists of two objects 0 and 1 and three generating morphisms f: 0→1, g: 0→1, and h: 1→0 satisfying the relation fh=gh=id₁. Consider the ...