Related papers: Strict n-categories and augmented directed complex…

Let $R$ be a left-Gorenstein ring. We show that there is a Quillen equivalence between singular contraderived model category and singular coderived model category. Consequently, an equivalence between the homotopy category of exact…

In this paper, we present a directed homotopy type theory for reasoning synthetically about (higher) categories, directed homotopy theory, and its applications to concurrency. We specify a new `homomorphism' type former for Martin-L\"of…

In a previous article, we introduced notions of finiteness obstruction, Euler characteristic, and L^2-Euler characteristic for wide classes of categories. In this sequel, we prove the compatibility of those notions with homotopy colimits of…

Auslander's formula shows that any abelian category C is equivalent to the category of coherent functors on C modulo the Serre subcategory of all effaceable functors. We establish a derived version of this equivalence. This amounts to…

We examine configurations of finite subsets of manifolds within the homotopy-theoretic context of $\infty$-categories by way of stratified spaces. Through these higher categorical means, we identify the homotopy types of such configuration…

We present the first definition of strictly associative and unital $\infty$-category. Our proposal takes the form of a type theory whose terms describe the operations of such structures, and whose definitional equality relation enforces…

Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our…

Many definitions of weak and strict $\infty$-categories have been proposed. In this paper we present a definition for $\infty$-categories with strict associators, but which is otherwise fully weak. Our approach is based on the existing type…

This is a sequel to a previous paper, developing an intrinsic, combinatorial homotopy theory for simplicial complexes; the latter form the cartesian closed subcategory of 'simple presheaves' in !Smp, the topos of symmetric simplicial sets,…

We prove the first equivalence between a weak non-algebraic model and a semi-strict algebraic model of $(\infty, n)$-categories. This takes the form of a natural semi-strictification, whereby a weak $(\infty, n)$-category is embedded into a…

We introduce and compare two approaches to equivariant homotopy theory in a topological or ordinary Quillen model category. For the topological model category of spaces, we generalize Piacenza's result that the categories of topological…

We study the homotopy category $\mathsf{K}_{N}(\mathcal{B})$ of $N$-complexes of an additive category $\mathcal{B}$ and the derived category $\mathsf{D}_{N}(\mathcal{A})$ of an abelian category $\mathcal{A}$. First we show that both…

Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be an ${\rm Ext}$-finite, Krull-Schmidt and $k$-linear $n$-exangulated category with $k$ a commutative artinian ring. In this note, we define two additive subcategories $\mathscr{C}_r$ and…

In the first part of this paper we show that path categories are enriched over groupoids, in a way that is compatible with a suitable 2-category of path categories. In the second part we introduce a new notion of homotopy exponential and…

In this paper, we investigate the Quillen model structure defined by Bisson and Tsemo in the category of directed graphs Gph. In particular, we give a precise description of the homotopy category of graphs associated to this model…

We give a direct proof that middle mapping spaces in coherent nerves of Kan enriched categories have the same homotopy type as the original mapping spaces.

We develop a homotopy theory for additive categories endowed with endofunctors, analogous to the concept of a model structure. We use it to construct the homotopy theory of a Hovey triple (which consists of two compatible complete cotorsion…

The subject of this paper is a nerve construction for bicategories introduced by Leinster, which defines a fully faithful functor from the category of bicategories and normal pseudofunctors to the category of presheaves over Joyal's…

$\infty$-category theory was originally developed in the context of classical homotopy theory using standard set theoretical assumptions, but has since been extended to a variety of mathematical foundations. One such successful effort,…

The goal of this paper is to provide the last equivalence needed in order to identify all known models for $(\infty,2)$-categories. We do this by showing that Verity's model of saturated $2$-trivial complicial sets is equivalent to Lurie's…