Related papers: A simple model for twisted arrow $\infty$-categori…
Let $A$ be either a simplicial complex $K$ or a small category $\mathcal C$ with $V(A)$ as its set of vertices or objects. We define a twisted structure on $A$ with coefficients in a simplicial group $G$ as a function $$ \delta\colon…
We classify the module categories over the double (possibly twisted) of a finite group.
Motivated by its links to $\tau$-tilting theory, we introduce a generalization of cotorsion pairs in module categories. Such pairs are also linked to co-t-structures in corresponding triangulated categories, and to cotorsion pairs in…
An elementary theory of strict $\infty $-categories with application to concrete duality is given. New examples of first and second order concrete duality are presented.
We record an explicit proof of the theorem that lifts a two-variable adjunction to the arrow categories of its domains.
In this paper we give a summary of the comparisons between different definitions of so-called (\infty,1)-categories, which are considered to be models for \infty-categories whose n-morphisms are all invertible for n>1. They are also, from…
Simplicial type theory (STT) was introduced by Riehl and Shulman to leverage homotopy type theory to prove results about $(\infty,1)$-categories. Initial work on simplicial type theory focused on "formal" arguments in higher category theory…
This chapter, written for "Stable categories and structured ring spectra," edited by Andrew J. Blumberg, Teena Gerhardt, and Michael A. Hill, surveys the history of homotopical categories, from Gabriel and Zisman's categories of fractions…
In this paper, we prove the categories of lower bounded twisted modules of positive integer levels for simple vertex operator algebras associated with affine Lie algebras and general automorphisms are semisimple, using the twisted…
Regular and exact categories were first introduced by Michael Barr in 1971; since then, the theory has developed and found many applications in algebra, geometry, and logic. In particular, a small regular category determines a certain…
We generalise the notions of good, middling good, and Verdier good morphisms of distinguished triangles in triangulated categories, first introduced by Neeman, to the setting of $n$-angulated categories, introduced in Geiss, Keller, and…
In this paper, we introduce a class of twisted multiparameter singular integrals on $\mathbb{R}^{2m}$, motivated by the Cauchy--Szeg\H{o} projections and the solving operators for $\bar{\partial}_b$ on a broad family of quadratic surfaces…
We study the (\infty, 1)-category of autoequivalences of \infty-operads. Using techniques introduced by To\"en, Lurie, and Barwick and Schommer-Pries, we prove that this (\infty, 1)-category is a contractible \infty-groupoid. Our…
Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongoing search in pure mathematics for feasible approaches to…
In this article, we develop a general technique for gluing subcategories of $\infty$-categories. We obtain categorical equivalences between simplicial sets associated to certain multisimplicial sets. Such equivalences can be used to…
We relativise double categories of relations to stable orthogonal factorisation systems. Furthermore, we present the characterisation of the relative double categories of relations in two ways. The first utilises a generalised comprehension…
These notes are meant to provide a rapid introduction to triangulated categories. We start with the definition of an additive category and end with a glimps of tilting theory. Some exercises are included.
Assume that $\D$ is a Krull-Schmidt, Hom-finite triangulated category with a Serre functor and a cluster-tilting object $T$. We introduce the notion of relative cluster tilting objects, and $T[1]$-cluster tilting objects in $\D$, which are…
The aim of this paper is to prove a generalization of the famous Theorem A of Quillen for strict $\infty$-categories. This result is central to the homotopy theory of strict $\infty$-categories developed by the authors. The proof presented…
Associated to a presentable $\infty$-category $\mathcal{C}$ and an object $X \in \mathcal{C}$ is the tangent $\infty$-category $\mathcal{T}_X\mathcal{C}$, consisting of parameterized spectrum objects over $X$. This gives rise to a…