Related papers: Correspondence functors and finiteness conditions

This short note presents a new relation between coherent spaces and finiteness spaces. This takes the form of a functor from COH to FIN commuting with the additive and multiplicative structure of linear logic. What makes this correspondence…

A simple criterion for a functor to be finitary is presented: we call $F$ finitely bounded if for all objects $X$ every finitely generated subobject of $FX$ factorizes through the $F$-image of a finitely generated subobject of $X$. This is…

In this paper we study adjunction relations between some natural functors on the representation category of the category of finite linearly ordered sets and order-preserving injections. We also prove that the Nakayama functor induces an…

Let C be a connected noetherian hereditary abelian Ext-finite category with Serre functor over an algebraically closed field k, with finite dimensional homomorphism and extension spaces. Using the classification of such categories from…

In a previous paper, the third author proved that finite-degree polynomial functors over infinite fields are topologically Noetherian. In this paper, we prove that the same holds for polynomial functors from free $R$-modules to finitely…

Using quilted Floer cohomology and relative quilt invariants, we define a composition functor for categories of Lagrangian correspondences in monotone and exact symplectic Floer theory. We show that this functor agrees with geometric…

We study selfadjoint functors acting on categories of finite dimensional modules over finite dimensional algebras with an emphasis on functors satisfying some polynomial relations. Selfadjoint functors satisfying several easy relations, in…

Let $R$ be a commutative noetherian ring. We prove that the class of modules of projective dimension bounded by $k$ is of finite type if and only if $R$ satisfies Serre's condition $(S_k)$. In particular, this answers positively a question…

Let FI denote the category whose objects are the sets $[n] = \{1,\ldots, n\}$, and whose morphisms are injections. We study functors from the category FI into the category of sets. We write $\mathfrak{S}_n$ for the symmetric group on $[n]$.…

Let $F$ be a finitely generated regular field extension of transcendence degree $\geq 2$ over a perfect field $k$. We show that the multiplicative group $F^\times/k^\times$ endowed with the equivalence relation induced by algebraic…

We prove a universal property for the $(\infty, n)$-category of correspondences, generalizing and providing a new proof for the case $n = 2$ from [GR17]. We also provide conditions under which a functor out of a higher category of…

In this survey, we summarize some results in the literature involving the mesh category, which is a combinatorial representation of the category of modules over a finite-dimensional associative algebra. We discuss Riedtmann's well-behaved…

We introduce and discuss the notion of naturally full functor. The definition is similar to the definition of separable functor: a naturally full functor is a functorial version of a full functor, while a separable functor is a functorial…

Reflexive functors of modules naturally appear in Algebraic Geometry, mainly in the theory of linear representations of group schemes, and in "duality theories". In this paper we study and determine reflexive functors and we give many…

Let $R$ be a Noetherian ring, $I_1,\ldots,I_r$ be ideals of $R$, and $N\subseteq M$ be finitely generated $R$-modules. Let $S = \bigoplus_{\underline{n} \in \mathbb{N}^r} S_{\underline{n}}$ be a Noetherian standard $\mathbb{N}^r$-graded…

In this article we extend evaluations of the Kauffman bracket on regular isotopy classes of knots and links to a variety of functors defined on the category of framed tangles. We show that many such functors exist, and that they correspond…

We examine situations, where representations of a finite-dimensional $F$-algebra $A$ defined over a separable extension field $K/F$, have a unique minimal field of definition. Here the base field $F$ is assumed to be a $C_1$-field. In…

The Landau-Ginzburg/Conformal Field Theory correspondence predicts tensor equivalences between categories of matrix factorisations of certain polynomials and categories associated to the $N=2$ supersymmetric conformal field theories. We…

Gaussian elimination answers any question about a finitely presented vector space. However, a "uniform family" of such presentations--given as generic relations among an unspecified number of generators--is susceptible to elimination only…

Let C and D be quasi-categories (a.k.a. infinity-categories). Suppose also that one has an assignment sending commutative diagrams of C to commutative diagrams of D which respects face maps, but not necessarily degeneracy maps. (This is…