Related papers: Model category of marked objects

For a category $\mathcal E$ with finite limits and well-behaved countable coproducts, we construct a model structure, called the effective model structure, on the category of simplicial objects in $\mathcal E$, generalising the Kan--Quillen…

We study properties of the cubical Joyal model structures on cubical sets by means of a combinatorial construction which allows for convenient comparisons between categories of cubical sets with and without symmetries. In particular, we…

An unrepresentable cohomological functor of finite type of the bounded derived category of coherent sheaves of a compact complex manifold of dimension greater than one with no proper closed subvariety is given explicitly in categorical…

We construct a model category structure on the category of diffeological spaces which is Quillen equivalent to the model structure on the category of topological spaces based on the notions of Serre fibrations and weak homotopy…

Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…

For any object A in a simplicial model category M, we construct a topological space \^A which classifies homogeneous functors whose value on k open balls is equivalent to A. This extends a classification result of Weiss for homogeneous…

We describe a method for constructing simplicial model structures on ind- and pro-categories. Our method is particularly useful for constructing "profinite" analogues of known model categories. Our construction quickly recovers Morel's…

We construct a cofibrantly generated Quillen model structure on the category of small n-fold categories and prove that it is Quillen equivalent to the standard model structure on the category of simplicial sets. An n-fold functor is a weak…

A simple criterion for a functor to be finitary is presented: we call $F$ finitely bounded if for all objects $X$ every finitely generated subobject of $FX$ factorizes through the $F$-image of a finitely generated subobject of $X$. This is…

We prove that each of the model structures for ($n$-trivial, saturated) comical sets on the category of marked cubical sets having only faces and degeneracies (without connections) is Quillen equivalent to the corresponding model structure…

We show that any closed model category of simplicial algebras over an algebraic theory is Quillen equivalent to a proper closed model category. By ``simplicial algebra'' we mean any category of algebras over a simplicial algebraic theory,…

We use the terms $\infty$-categories and $\infty$-functors to mean the objects and morphisms in an $\infty$-cosmos: a simplicially enriched category satisfying a few axioms, reminiscent of an enriched category of fibrant objects.…

Using full images of accessible functors, we prove some results about combinatorial and accessible model categories. In particular, we give an example of a weak factorization system on a locally presentable category which is not accessible.

We define the notion of an enriched Reedy category, and show that if A is a C-Reedy category for some symmetric monoidal model category C and M is a C-model category, the category of C-functors and C-natural transformations from A to M is…

In [BaSc2], the author and Tomer Schlank introduced a much weaker homotopical structure than a model category, which we called a "weak cofibration category". We further showed that a small weak cofibration category induces in a natural way…

Data integration and migration processes in polystores and multi-model database management systems highly benefit from data and schema transformations. Rigorous modeling of transformations is a complex problem. The data and schema…

Using the machinery of weak fibration categories due to Schlank and the first author, we construct a convenient model structure on the pro-category of separable $C^*$-algebras $\mathrm{Pro}(\mathtt{SC^*})$. The opposite of this model…

Suppose that $F: \mathcal{N} \to \mathcal{M}$ is a functor whose target is a Quillen model category. We give a succinct sufficient condition for the existence of the right-induced model category structure on $\mathcal{N}$ in the case when…

Combinatorial model categories were introduced by J. H. Smith as model categories which are locally presentable and cofibrantly generated. He has not published his results yet but proofs of some of them were presented by T. Beke or D.…

We define a model category structure on a slice category of simplicial spaces, called the "Segal group action" structure whose fibrant-cofibrant objects may be viewed as representing spaces $X$ with a coherent action of a given Segal group…