Related papers: Cubical models of $(\infty, 1)$-categories
We establish a Quillen equivalence between the Kan-Quillen model structure and a model structure, derived from a cubical model of homotopy type theory, on the category of cartesian cubical sets with one connection. We thereby identify a…
We construct a model structure on the category $\mathrm{DblCat}$ of double categories and double functors, whose trivial fibrations are the double functors that are surjective on objects, full on horizontal and vertical morphisms, and fully…
This paper continues the research of the author on the homology of cubical and semi-cubical sets with coefficients in systems of objects. The main result is the theorem that the homology of cubical sets with coefficients in contravariant…
If M is a model category and Z is an object of M, then there are model category structures on the category of objects of M over Z and the category of objects of M under Z under which a map is a cofibration, fibration, or weak equivalence if…
We develop new techniques for constructing model structures from a given class of cofibrations, together with a class of fibrant objects and a choice of weak equivalences between them. As a special case, we obtain a more flexible version of…
A Quillen model structure on the category Gray-Cat of Gray-categories is described, for which the weak equivalences are the triequivalences. It is shown to restrict to the full subcategory Gray-Gpd of Gray-groupoids. This is used to provide…
We construct a Quillen model structure on the category of spectral categories, where the weak equivalences are the symmetric spectra analogue of the notion of equivalence of categories.
For each pair of simplicial sets $A$ and $B$, the category $\mathbf{Cyl}(A,B)$ of cylinders (also called correspondences) from $A$ to $B$ admits a model structure induced from Joyal's model structure for quasi-categories. In this paper, we…
We introduce the notion of algebraic fibrant objects in a general model category and establish a (combinatorial) model category structure on algebraic fibrant objects. Based on this construction we propose algebraic Kan complexes as an…
We introduce pseudocubical objects with pseudoconnections in an arbitrary category, obtained from the Brown-Higgins structure of a cubical object with connections by suitably relaxing their identities, and construct a cubical analog of the…
In this paper we study the question of how to transfer homotopic structure from the category sD of simplicial objects in a fixed category D to D. To this end we use a sort of homotopy colimit s : sD --> D, which we call simple functor. For…
We present a weak form of a recognition principle for Quillen model categories due to J.H. Smith. We use it to put a model category structure on the category of small categories enriched over a suitable monoidal simplicial model category.…
We observe that an enriched right adjoint functor between model categories which preserves acyclic fibrations and fibrant objects is quite generically a right Quillen functor.
We construct a category $\OrdFor$ as an arboreal extension of $\Delta_{\mathrm{epi}}\subseteq\Delta$, whose morphisms are ordered forests composed by grafting. We define a full functor $\pi\colon \OrdFor\to\Delta_{\mathrm{epi}}^{op}$…
We give an example of a morphism of simplicial sets which is a monomorphism, bijective on 0-simplices, and a weak categorical equivalence, but which is not inner anodyne. This answers an open question of Joyal. Furthermore, we use this…
We study the simplicial coalgebra of chains on a simplicial set with respect to three notions of weak equivalence. To this end, we construct three model structures on the category of reduced simplicial sets for any commutative ring R. The…
We prove that for certain monoidal (Quillen) model categories, the category of comonoids therein also admits a model structure.
We establish a model structure on the category of strict omega-categories. The constructions leading to the model structure in question are expressed entirely within the scope of omega-categories, building on a set of generating…
Both simplicial sets and simplicial spaces are used pervasively in homotopy theory as presentations of spaces, where in both cases we extract the "underlying space" by taking geometric realization. We have a good handle on the category of…
For each $n \in \mathbb{N} \cup \{\infty\}$, diagrammatic sets admit a model structure whose fibrant objects are the diagrammatic $(\infty, n)$- categories. They also support a notion of Gray product given by the Day convolution of a…