Related papers: Infinity categories with duality and hermitian mul…

It is well known that to each infinite class of classical groups over a commutative ring $R$, we can associate an infinite loop space by Quillen's plus construction. In this paper we generalize this fact to the case of affine Kac-Moody…

We introduce the notion of a categorical cone, which provides a categorification of the classical cone over a projective variety, and use our work on categorical joins to describe its behavior under homological projective duality. In…

For a point $\mathfrak{p}$ in the spectrum of the cohomology ring of a finite group $G$ over a field $k$, we calculate the spectrum for the subcategory of dualisable objects inside the tensor triangulated category of $\mathfrak{p}$-local…

Recently, Hu and Xi have exhibited derived equivalent endomorphism rings arising from (relative) almost split sequences as well as AR-triangles in triangulated categories. We present a broader class of triangles (in algebraic triangulated…

In an earlier paper we conjectured a relation between the quantum $\mathcal D$-modules of a smooth variety $X$ and the projectivisation of a direct sum of line bundles over it. In this paper we prove the conjecture when $X$ is a complete…

We give a characterization of the sets of objects of the derived category of a block of a finite group algebra (or other symmetric algebra) that occur as the set of images of simple modules under an equivalence of derived categories. We…

This document is centered around a main idea: simplicial categories, by which we mean simplicial objects in the category of categories, can be treated as a two-fold categorical structure and their double category theory is homotopically…

Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical,…

We explore some properties of wide subcategories of the category mod$\,(\Lambda)$ of finitely generated left $\Lambda$-modules, for some artin algebra $\Lambda.$ In particular we look at wide finitely generated subcategories and give a…

We prove a recognition principle for motivic infinite P1-loop spaces over a perfect field. This is achieved by developing a theory of framed motivic spaces, which is a motivic analogue of the theory of E-infinity-spaces. A framed motivic…

We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y…

Let $\Lambda$ be an artin algebra. We are going to consider full subcategories of $\mod\Lambda$ closed under finite direct sums and under submodules with infinitely many isomorphism classes of indecomposable modules. The main result asserts…

A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…

Thomason showed that the K-theory of symmetric monoidal categories models all connective spectra. This paper describes a new construction of a permutative category from a Gamma-space, which is then used to re-prove Thomason's theorem and a…

We define duality triples and duality pairs in compactly generated triangulated categories and investigate their properties. This enables us to give an elementary way to determine whether a class is closed under pure subobjects, pure…

To any left system of diagram categories or to any left pointed derivateur (in the sense of Grothendieck) a K-theory space is associated. This K-theory space is shown to be canonically an infinite loop space and to have a lot of common…

We introduce a diagrammatic braided monoidal category, the quantum spin Brauer category, together with a full functor to the category of finite-dimensional, type $1$ modules for $U_q(\mathfrak{so}(N))$ or $U_q(\mathfrak{o}(N))$. This…

The homotopy category of complexes of projective left-modules over any reasonably nice ring is proved to be a compactly generated triangulated category, and a duality is given between its subcategory of compact objects and the finite…

Algebra objects in $\infty$-categories of spans admit a description in terms of $2$-Segal objects. We introduce a notion of span between $2$-Segal objects and extend this correspondence to an equivalence of $\infty$-categories.…

We use the terms "$\infty$-categories" and "$\infty$-functors" to mean the objects and morphisms in an "$\infty$-cosmos." Quasi-categories, Segal categories, complete Segal spaces, naturally marked simplicial sets, iterated complete Segal…