Related papers: Simple and projective correspondence functors
In this article, the projectivity of finitely generated flat modules of a commutative ring are studied from a topological point of view. Then various interesting results are obtained. For instance, it is shown that if a ring has either a…
In this paper, we define a class of relative derived functors in terms of left or right weak flat resolutions to compute the weak flat dimension of modules. Moreover, we investigate two classes of modules larger than that of weak injective…
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…
We search for Riemannian metrics whose Levi-Civita connection belongs to a given projective class. Following Sinjukov and Mikes, we show that such metrics correspond precisely to suitably positive solutions of a certain projectively…
Projectivity and injectivity are fundamental notions in category theory. We consider natural weakenings termed semiprojectivity and semiinjectivity, and study these concepts in different categories. For example, in the category of metric…
$Vect(N)$, the algebra of vector fields in $N$ dimensions, is studied. Some aspects of local differential geometry are formulated as $Vect(N)$ representation theory. There is a new class of modules, {\it conformal fields}, whose…
We introduce the new concept of cartesian module over a pseudofunctor $R$ from a small category to the category of small preadditive categories. Already the case when $R$ is a (strict) functor taking values in the category of commutative…
We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…
We provide a generalization of the construction of a spectrum of a commutative ring as a locally ringed space, applicable to cone injectivity classes in general contexts, especially in locally finitely presentable categories. In its full…
An (additive) functor F from an additive category A to an additive category B is said to be objective, provided any morphism f in A with F(f) = 0 factors through an object K with F(K) = 0. In this paper we concentrate on triangle functors…
Fake projective planes are smooth complex surfaces of general type with Betti numbers equal to those of the usual projective plane. They come in complex conjugate pairs and have been classified as quotients of the two-dimensional ball by…
Let $R$ be a ring and $M$ be a right $R$-module. $M$ is called neat-flat if any short exact sequence of the form $0\to K\to N\to M\to 0$ is neat-exact i.e. any homomorphism from a simple right $R$-module $S$ to $M$ can be lifted to $N$. We…
In this short note we observe that the Serre functor on the residual category of a complete intersection can be easily described in the framework of hybrid models. Using this description we recover some recent results of Kuznetsov and…
The projection onto the intersection of sets generally does not allow for a closed form even when the individual projection operators have explicit descriptions. In this work, we systematically analyze the projection onto the intersection…
We investigate the properties of pure derived categories of module categories, and show that pure derived categories share many nice properties of classical derived categories. In particular, we show that bounded pure derived categories can…
We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…
We study projective functions. We prove that projective functions generalise lower and upper-semianalytic ones while being stable by composition and difference. We show that the class of projective functions is closed under sums,…
A semisimple algebraic tensor category over an algebraically closed field k of characteristic zero is the representation category of all finite dimensional twisted super representations of an affine reductive supergroup G over k. Such a…
A quotient construction defines an abstract type from a concrete type, using an equivalence relation to identify elements of the concrete type that are to be regarded as indistinguishable. The elements of a quotient type are…
Kei Yuen Chan and Kayue Daniel Wong constructed a functor from the category of Harish-Chandra modules of $\mathrm{GL}(n, \mathbb C)$ to the category of modules over graded Hecke algebra $\mathbb H_m$ of type A. This functor has several nice…