Related papers: Convenient Antiderivatives For Differential Linear…

Let $\mathbb{k}$ be a characteristic zero domain. For a locally unital $\mathbb{k}$-superalgebra $A$ with distinguished idempotents $I$and even subalgebra $a \subseteq A_{\bar 0}$, we define and study an associated diagrammatic monoidal…

A new proof of the classification for tensor ideal thick subcategories of the bounded derived category, and the stable category, of modular representations of a finite group is obtained. The arguments apply more generally to yield a…

Differential Linear Logic enriches Linear Logic with additional logical rules for the exponential connectives, dual to the usual rules of dereliction, weakening and contraction. We present a proof-net syntax for Differential Linear Logic…

We introduce a $p$-adic analytic analogue of Backelin and Kremnizer's construction of the quantum flag variety of a semisimple algebraic group, when $q$ is not a root of unity and $| q-1|<1$. We then define a category of $\lambda$-twisted…

Given a connection on a meromorphic vector bundle over a compact Riemann surface with reductive Galois group, we associate to it a projective variety. Connections such that their associated projective variety are curves can be classified,…

Following Mitchell's philosophy, in this paper we define the analogous of the triangular matrix algebra to the context of rings with several objects. Given two additive categories $\mathcal{U}$ and $\mathcal{T}$ and $M\in…

We introduce the basic notions and present examples and results on Lie categories -- categories internal to the category of smooth manifolds. Demonstrating how the units of a Lie category $\mathcal C$ dictate the behavior of its invertible…

The fundamental groupoid of a locally 0 and 1-connected space classifies covering spaces, or equivalently local systems. When the space is topologically stratified Treumann, based on unpublished ideas of MacPherson, constructed an `exit…

The "linear dual" of a cocomplete linear category $\mathcal C$ is the category of all cocontinuous linear functors $\mathcal C \to \mathrm{Vect}$. We study the questions of when a cocomplete linear category is reflexive (equivalent to its…

We initiate a study of tensor ideals in linear rigid monoidal categories that are kernels of linear monoidal functors to abelian monoidal categories. We develop general methods and apply them to the category of tilting modules over quantum…

We utilize the coherent-constructible correspondence to construct full strongly exceptional collections of nef line bundles in the derived category of a toric variety through the combinatorics of constructible sheaves built from polytopes.…

Univalent categories constitute a well-behaved and useful notion of category in univalent foundations. The notion of univalence has subsequently been generalized to bicategories and other structures in (higher) category theory. Here, we…

Cartesian differential categories come equipped with a differential operator which formalises the total derivative from multivariable calculus. Cofree Cartesian differential categories always exist over a specified base category, where the…

We give a complete characterization of the line bundles on a proper variety whose tensor powers generate the derived category, answering a 2010 question of Chris Brav. The condition is analogous to the Nakai--Moishezon criterion and can be…

A differential module is a module equipped with a square-zero endomorphism. This structure underpins complexes of modules over rings, as well as differential graded modules over graded rings. We establish lower bounds on the class--a…

Since curved dg algebras, and modules over them, have differentials whose square is not zero, these objects have no cohomology, and there is no classical derived category. For different purposes, different notions of "derived" categories…

We exhibit a relationship between projective duality and the sheaf of logarithmic vector fields along a reduced divisor $D$ of projective space, in that the push-forward of the ideal sheaf of the conormal variety in the point-hyperplane…

We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…

This is the fourth (and last) prepublication version of a book on derived categories, that will be published by Cambridge University Press. The purpose of the book is to provide solid foundations for the theory of derived categories, and to…

We describe globally nilpotent differential operators of rank 2 defined over a number field whose monodromy group is a nonarithmetic Fuchsian group. We show that these differential operators have an S-integral solution. These differential…