Related papers: Convenient Antiderivatives For Differential Linear…
The construction of the cotensor coalgebra for an "abelian monoidal" category $\M$ which is also cocomplete, complete and AB5, was performed in [A. Ardizzoni, C. Menini and D. \c{S}tefan, \emph{Cotensor Coalgebras in Monoidal Categories},…
We study categorical models for the unitless fragment of multiplicative linear logic. We find that the appropriate notion of model is a special kind of promonoidal category. Since the theory of promonoidal categories has not been developed…
This paper is devoted to the comparison of different localized categories of differential complexes. The first result is that the canonical functor from the category of complexes of differential operators of order one (defined by Herrera…
We show that the derived category of any singularity over a field of characteristic 0 can be embedded fully and faithfully into a smooth triangulated category which has a semiorthogonal decomposition with components equivalent to derived…
A modular category $\mathcal{C}$ gives rise to a differential graded modular functor, i.e. a system of projective mapping class group representations on chain complexes. This differential graded modular functor assigns to the torus the…
Bondal and Kapranov describe how to assign to a full exceptional collection on a variety X a DG category C such that the bounded derived category of coherent sheaves on X is equivalent to the bounded derived category of C. In this paper we…
In the first part of our paper, we show that there exist non-isomorphic derived equivalent genus $1$ curves, and correspondingly there exist non-isomorphic moduli spaces of stable vector bundles on genus $1$ curves in general. Neither…
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…
Given an algebra $A$ over a differential field $K$, we study derivations on $A$ that are compatible with the derivation on $K$. There is a universal object, which is a twisted version of the usual module of differentials, and we establish…
We discuss a relation between the structure of derived categories of smooth projective varieties and their birational properties. We suggest a possible definition of a birational invariant, the derived category analogue of the intermediate…
The bounded derived category of a finite dimensional algebra of finite global dimension is equivalent the stable category of $\mathbb{Z}$-graded modules over its trivial extension \cite{Happel}. In particular, given two derived equivalent…
In Linear Logic ($\mathsf{LL}$), the exponential modality $!$ brings forth a distinction between non-linear proofs and linear proofs, where linear means using an argument exactly once. Differential Linear Logic ($\mathsf{DiLL}$) is an…
Tilting theory has been a very important tool in the classification of finite dimensional algebras of finite and tame representation type, as well as, in many other branches of mathematics. Happel [Ha] proved that generalized tilting…
This paper presents preliminary work on a general system for integrating dependent types into substructural type systems such as linear logic and linear type theory. Prior work on this front has generally managed to deliver type systems…
We develop a compositional approach for automatic and symbolic differentiation based on categorical constructions in functional analysis where derivatives are linear functions on abstract vectors rather than being limited to scalars,…
In this paper, we present an infinity-categorical version of the theory of monoidal categories. We show that the infinity category of spectra admits an essentially unique monoidal structure (such that the tensor product preserves colimits…
Several categories look like categories of relations, but do not fit the established theory of relations in regular categories. They include the category of surjective multivalued functions, the category of injective partial functions, the…
It is proved that MacLane's coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affine and cartesian categories. All results are formulated in…
We introduce the notion of a monoidal category enriched in a braided monoidal category $\mathcal V$. We set up the basic theory, and prove a classification result in terms of braided oplax monoidal functors to the Drinfeld center of some…
Derived braids have been used to classify categorical structures based on the braid underlying a braided monoidal category V. With four-strand braids underlying the composition morphisms of tensor products of categories enriched over V,…