Related papers: Model categories with simple homotopy categories

We define a simple kind of higher inductive type generalising dependent $W$-types, which we refer to as $W$-types with reductions. Just as dependent $W$-types can be characterised as initial algebras of certain endofunctors (referred to as…

Categorical structures and their pseudomaps rarely form locally presentable 2-categories in the sense of Cat-enriched category theory. However, we show that if the categorical structure in question is sufficiently weak (such as the…

We prove that the category $\textbf{G-Cat}$ of small categories with $G$-action forms a model of unstable $G$-global homotopy theory for every discrete group $G$, generalizing Schwede's global model structure on $\textbf{Cat}$. As a…

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…

Given a suitable functor T:C -> D between model categories, we define a long exact sequence relating the homotopy groups of any X in C with those of TX, and use this to describe an obstruction theory for lifting an object G in D to C.…

Given a small category C, a C-module M is a functor from C to the category of finite-dimensional vector spaces over a field k. Associated to M is its local structure, given as a functor from C to the category of bi-closed multi-flags over…

We give a new construction of the model structure on the category of simplicial sets for homotopy $n$-types, originally due to Elvira-Donazar and Hernandez-Paricio, using a right transfer along the coskeleton functor. We observe that an…

We fix any bicategory $\mathscr{A}$ together with a class of morphisms $\mathbf{W}_{\mathscr{A}}$, such that there is a bicategory of fractions $\mathscr{A}[\mathbf{W}_{\mathscr{A}}^{-1}]$. Given another such pair…

In this paper, we study properties of maps between fibrant objects in model categories. We give a characterization of weak equivalences between fibrant object. If every object of a model category is fibrant, then we give a simple…

Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak…

By a theorem of Christensen and Hovey, the category of non-negatively graded chain complexes has a model structure, called the h-model structure or Hurewicz model structure, where the weak equivalences are the chain homotopy equivalences.…

In this paper, we establish a theorem that proves a condition when an inclusion morphism between simplicial sets becomes a weak homotopy equivalence. Additionally, we present two applications of this result. The first application…

Let $\bf C$ be a coreflective subcategory of a cofibrantly generated model category $\bf D$. In this paper we show that under suitable conditions $\bf C$ admits a cofibrantly generated model structure which is left Quillen adjunct to the…

We establish a general method to produce cofibrant approximations in the model category $U_S(C,D)$ of $S$-valued $C$-indexed diagrams with $D$-weak equivalences and $D$-fibrations. We also present explicit examples of such approximations.…

This is the second of a series of papers which are devoted to a comprehensive theory of maps between orbifolds. In this paper, we develop a basic machinery for studying homotopy classes of such maps. It contains two parts: (1) the…

This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…

In this paper, we address the construction of homotopy bicategories of $(\infty,2)$-categories, which we take as being modeled by 2-fold Segal spaces. Our main result is the concrete construction of a functor $h_2$ from the category of…

In the sixties, Grothendieck developed the theory of pro-objects over a category. The fundamental property of the category $Pro(C)$ is that there is an embedding $C \stackrel{c}{\rightarrow} Pro(C)$, $Pro(C)$ is closed under small…

We show that a map between fibrant objects in a closed model category is a weak equivalence if and only if it has the right homotopy extension lifting property with respect to all cofibrations. The dual statement holds for maps between…

Locally cartesian closed (lcc) categories are natural categorical models of extensional dependent type theory. This paper introduces the "gros" semantics in the category of lcc categories: Instead of constructing an interpretation in a…