# Tagged Questions

The tag has no usage guidance.

0answers
149 views

### Homotopy theory of suplattices

In Quillen's monograph Homotopical algebra where he introduced the notion of model category, he showed that if $C$ is a bicomplete category with enough regular-projectives in which either (*) every ...
0answers
130 views

### Model category of cofibrant topological spaces

By browsing the list of open problems in Mark Hovey's book "Model categories", I came across the following one (Problem 8.3): find a model structure on topological spaces, with the same weak ...
0answers
363 views

### Standard model structures on $Top$

Call a model structure on $Top$ (the category of topological spaces) standard, if the weak equivalences are the weak homotopy equivalences. In this nLab page, two standard model structures on $Top$ ...
0answers
196 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) ...
0answers
162 views

### Fibrations of orthogonal G-spectra and fixed points

There are at least two fixed point functors that characterize stable equivalences of orthogonal G-spectra: the geometric fixed points and the naive fixed points of a fibrant replacement. Is this true ...
0answers
616 views

### An Ex functor for the contravariant homotopy structure

I'm going to slack on the background and get to the point: Is there a good notion of an $Sd/Ex$ adjunction for $sSet/S$ equipped with the contravariant model structure (cofibrations are monomorphisms ...
0answers
94 views

### Cubical model category

Question. Call a cubical model category a model category enriched over cubical sets equipped with a tensor product $X \otimes K$ and a cotensor product $X^K$ where $X$ is an object of the model ...
0answers
261 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 ...
0answers
471 views

0answers
183 views

### relationships between properties of model categories

I've recently found myself running up against all sorts of adjectives that can describe a model category: cofibrantly generated, combinatorial, tractable, stable, locally (finitely) presentable, (left ...
0answers
257 views

0answers
332 views

### Equivariant sheaves and simplicial varieties

I would like to proof the following theorem: Let $\pi:X\rightarrow X/G$ be a principal $G$-bundle (say of varieties, Zariski locally trivial), then $\pi^*$ induces an equivalence between modules on ...
0answers
560 views

### When are “diagrams of cofibrations” projectively cofibrant?

Let $P$ be a small category, and let $F:P\to M$ be a diagram in a left-proper combinatorial model category $M$. We say that $F$ is a diagram of cofibrations if for every object $p\in P$, $F(p)$ is ...
0answers
183 views

### Mapping into a geometric realization.

Suppose $S$ is a simplicial set, $X$ is a space, and we are given a map $f: \text{Sing}\,X\to S.$ When is is possible to produce a map $X\to |S|$? We can take ...
0answers
92 views

### Is there a schema category for hyperstructures?

I am completely fascinated by Niels Baas' notion of hyperstructures, chiefly because I can see how such gadgets could be used in modeling both biological and social systems, or other evolutionary ...
0answers
209 views

### N-periodic derived categories

I have some seemingly basic questions about $N$-periodic derived categories to which I have not found answers in any of the usual places. Let $R$ be a ring, and let $D(R)_{\mathbb Z/N\mathbb Z}$ ...
0answers
136 views

### Test categories applied to Dold-Kan correspondence?

Let's see how this goes, this might be a bit rushed, if you spot any mistakes feel free to correct them. A test category $X$ is a category that can be used in place of the simplex category $\Delta$ to ...
0answers
137 views

### Reedy fibrant and cofibrant objects

Let $\mathcal{C}$ be a Reedy category, $\mathcal{M}$ be a model category. Then consider $Fun(\mathcal{C}, \mathcal{M})$, the category of diagrams from $\mathcal{C}$ to $\mathcal{M}$ equipped with the ...
0answers
95 views

### About Quillen equivalences between Bousfield localizations

Let $\mathcal{M}$ be a locally presentable category equipped with two left proper and left determined combinatorial model structures $\mathcal{M}_1$ and $\mathcal{M}_2$. There exist two sets $S_1$ and ...
0answers
119 views

### How can one “extend scalars” for (motivic) ring spectra and for modules over it?

Let $S$ be a (motivic symmetric) ring spectrum (more generally, one can possibly consider a ring object in a symmetric stable model category); let $R$ be a flat associative commutative unital algebra ...
0answers
118 views

0answers
161 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 ...