Related papers: The functor category Fquad

Our goal is to derive some families of maps, also known as functions, from injective maps and surjective maps; this can be useful in various fields of mathematics. Let A be a small concrete category. We define a functor F, cometic functor,…

For a semisimple multiring category with left duals, we prove that the unit object is simple if and only if the tensor functors by any non-zero algebra are separable (resp. faithful, resp. Maschke, resp. dual Maschke, resp. conservative).…

We introduce the notion of completed $F$-crystals on the absolute prismatic site of a smooth $p$-adic formal scheme. We define a functor from the category of completed prismatic $F$-crystals to that of crystalline \'etale…

We study a 2-functor that assigns to a bimodule category over a finite k-linear tensor category a k-linear abelian category. This 2-functor can be regarded as a category-valued trace for 1-morphisms in the tricategory of finite tensor…

We tackle the problem of constructing $R$-matrices for the category $\mathcal{O}$ associated to the Borel subalgebra of an arbitrary untwisted quantum loop algebra $U_q(\mathfrak{g})$. For this, we define an exact functor $\mathcal{F}_q$…

In this paper, we introduce a family of functors denoted $\mathscr{F}_b$ that act on algebraic D-modules and generate modules over N=2 superconformal algebras. We prove these functors preserve irreducibility for all values of $b$, with a…

We establish a relation between smooth 2-functors defined on the path 2-groupoid of a smooth manifold and differential forms on this manifold. This relation can be understood as a part of a dictionary between fundamental notions from…

We introduce a method for associating a chain complex to a module over a combinatorial category, such that if the complex is exact then the module has a rational Hilbert series. We prove homology--vanishing theorems for these complexes for…

We call a diagram D absolutely cartesian if F(D) is homotopy cartesian for all homotopy functors F. This is a sensible notion for diagrams in categories C where Goodwillie's calculus of functors may be set up for functors with domain C. We…

The cartesian structure possessed by relations, spans, profunctors, and other such morphisms is elegantly expressed by universal properties in double categories. Though cartesian double categories were inspired in part by the older program…

Algebra and representation theory in modular tensor categories can be combined with tools from topological field theory to obtain a deeper understanding of rational conformal field theories in two dimensions: It allows us to establish the…

This paper is the first in a series of papers in which we define and study a category of "sheaves of $\mathcal Z$-modules on the set of alcoves" that carries important information on the category of representations of semisimple Lie…

We provide an introduction to the Fractional Fourier Transform $\mathcal{F}_{\theta}$ and draw a connection between it and the unit complex number $e^{i\theta}$. Motivated by this, we define an entirely new object associated with any unit…

We show that every exact fully faithful functor from the category of perfect complexes on the spectrum of dual numbers to the bounded derived category of a noetherian separated scheme is of Fourier-Mukai type. The kernel turns out to be an…

Persistence modules are representations of products of totally ordered sets in the category of vector spaces. They appear naturally in the representation theory of algebras, but in recent years they have also found applications in other…

We prove that any faithful Frobenius functor between abelian categories preserves the Gorenstein projective dimension of objects. Consequently, it preserves and reflects Gorenstein projective objects. We give conditions on when a Frobenius…

As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…

We define model structures on exact categories which we call exact model structures. We look at the relationship between these model structures and cotorsion pairs on the exact category. In particular, when the underlying category is weakly…

We completely classify all quotient bundles of a given vector bundle on the Fargues-Fontaine curve. As consequences, we have two additional classification results: a complete classification of all vector bundles that are generated by a…

Polynomial functors are a categorical generalization of the usual notion of polynomial, which has found many applications in higher categories and type theory: those are generated by polynomials consisting a set of monomials built from sets…