Related papers: On truncated quasi-categories
This article is concerned with three different homotopy theories of stratified spaces: The one defined by Douteau and Henriques, the one defined by Haine, and the one defined by Nand-Lal. One of the central questions concerning these…
We construct combinatorial model category structures on the categories of (marked) categories and (marked) pre-additive categories, and we characterize (marked) additive categories as fibrant objects in a Bousfield localization of…
We define a homotopy relation between arrows of a category with weak equivalences, and give a condition under which the quotient by the homotopy relation yields the homotopy category. In the case of the fibrant-cofibrant objects of a model…
For a collection of subcategories satisfying a fixed set of conditions, for example thick subcategories of a triangulated category, we define a topological space called classifying space of subcategories. We show that this space classifies…
This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…
In this study, we introduce the notion of $PL_\delta$-homeomorphisms of $\mathbb{R}^n$. Furthermore, we provide a combinatorial criterion reliant on the vertices and edges of simplicial structures, to determine whether a piecewise-linear…
The purpose of this paper is to develop a theory of $(\infty, 1)$-stacks, in the sense of Hirschowitz-Simpson's `Descent Pour Les n-Champs', using the language of quasi-category theory and the author's local Joyal model structure. The main…
In this article, we first prove a general result in topology which states that every quasi-component of a quasi-spectral space is connected. \\ As an application, the structure of the connected components of every quasi-compact…
In [Homotopical Algebra, Springer LNM 43] Quillen introduces the notion of a model category: a category $\mathcal{C}$ provided with three distinguished classes of maps $\{\mathcal{W},\, \mathcal{F},\, co\mathcal{F}\}$ (weak equivalences,…
The goal of this article is to emphasize the role of cubical sets in enriched categories theory and infinity-categories theory. We show in particular that categories enriched in cubical sets provide a convenient way to describe many…
Let $R$ be a commutative ring If $\mathcal{C}_1$ and $\mathcal{C}_2$ are $R$-linear triangulated categories then we can give an obvious triangulated structure on $\mathcal{C} = \mathcal{C}_1 \oplus \mathcal{C}_2$ where $Hom_\mathcal{C}(U,…
We study the subcategory of topological operads $P$ such that $P(0) = *$ (the category of unitary operads in our terminology). We use that this category inherits a model structure, like the category of all operads in topological spaces, and…
We reprove the classical Tannaka-Krein reconstruction theorem by finding a monoidal equivalence of categories between a 1-truncated sub-2-category of the slice 2-category ${\sf Mod}({\sf Vec})/{\sf Vec}$ and the category of algebras. We…
We study the notion of a bifibration in simplicial sets which generalizes the classical notion of two-sided discrete fibration studied in category theory. If $A$ and $B$ are simplicial sets we equip the category of simplicial sets over…
In this paper, we study the semi-stable subcategories of the category of representations of a Euclidean quiver, and the possible intersections of these subcategories. Contrary to the Dynkin case, we find out that the intersection of…
The author has recently introduced the class of CNED sets in Euclidean space, generalizing the classical notion of NED sets, and shown that they are quasiconformally removable. A set $E$ is CNED if the conformal modulus of a curve family is…
We construct a discrete model of the homotopy theory of $S^1$-spaces. We define a category $\sP$ with objects composed of a simplicial set and a cyclic set along with suitable compatibility data. $\sP$ inherits a model structure from the…
We show that bounded type implies finite type for a constructible subcategory of the module category of a finitely generated algebra over a field, which is a variant of the first Brauer-Thrall conjecture. A full subcategory is constructible…
Building on work by Fiore-Pronk-Paoli, we construct four model structures on the category of double categories, each modeling one of the following: simplicial spaces, Segal spaces, $(\infty,1)$-categories, and $\infty$-groupoids.…
Model categories have long been a useful tool in homotopy theory, allowing many generalizations of results in topological spaces to other categories. Giving a localization of a model category provides an additional model category structure…