Search Results

There is a paper of Lafont, Metayer, and Worytkiewicz [1] that constructs a model structure on the category of strict $\omega$-categories that they call the folk model structure. This model structure …

The definition of a monoidal model category requires that the tensor product is biclosed (such is needed to ensure that the tensor product is derivable in both variables). Obviously, in the situation …

Let $\mathbf{S}$ be an excellent model category in which all objects are cofibrant, viewed as an $\mathbf{S}$-enriched category by its canonical self-enrichment. Then we know that there is an obvious …

There are a few fibrant replacement functors for the Quillen model structure on simplicial sets that preserve finite cartesian products, namely $\operatorname{Ex}^\infty$ and $\operatorname{Sing}(|\cd …

Dan Dugger proved that every combinatorial model category can be obtained up to Quillen equivalence as the localization of a model structure on simplicial presheaves on a small category $C$. Is there …

In Verity's first paper on weak complicial sets, he shows that every strict complicial set is a weak complicial set. He also showed in an earlier paper that the full subcategory of stratified simplic …

The ordinary notions of limit and colimit are universal solutions to a problem, specifically, finding terminal/initial objects in slice/coslice categories. In the context of homotopy right Kan extens …

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 co …

Background Recall (from Cisinski's Astérisque volume 308) that given a small category $A$, we define an $A$-localizer to be a class $W$ of morphisms of $\mathrm{Psh}(A)$ satisfying the following axio …

In any presheaf topos, there exists an object called Lawvere's segment, which can be described as the presheaf $L:A^{op}\to Set$ such that for each object $a\in A$, $L(a)=\{x\hookrightarrow\ h_a: x\in …

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 …

Jacob Lurie defined a model structure on the category of marked simplicial sets sliced over a fixed simplicial set $S$ called the cartesian model structure. (For a definition, see here or HTT Ch.3.1) …

Let's view the category of algebraic spaces as a full subcategory of the category of "spaces" over the opposite category of commutative rings, that is, the category of sheaves on $CRing^{op}$ in the é …

This may not be precise enough for MO, but I'll give it a go. Let $M$ be a symmetric closed monoidal model category with unit $u\in Ob(M)$. We define the vertices of an object $A$ to be points $x\in …

I've often heard that we can give examples of CW complexes that aren't homeomorphic to the realization of any simplicial set (although I haven't heard that there exist Kan complexes that aren't isomor …