Related papers: A generalization of Watts's Theorem: Right exact f…

Let $\Lambda$ be a finite dimensional algebra. Let $\mathcal C$ be a functorially finite exact subcategory of $\Lambda$-mod with enough projective and injective objects and $\mathcal S (\mathcal C)$ be its monomorphism category. It turns…

In this paper, we prove a version of the typed B\"ohm theorem on the linear lambda calculus, which says, for any given types A and B, when two different closed terms s1 and s2 of A and any closed terms u1 and u2 of B are given, there is a…

In this short note, we construct a right adjoint to the functor which associates to a ring $R$ equipped with a group action its twisted group ring. This right adjoint admits an interpretation as semilinearization, in that it sends an…

Let $X$ be an $F$-finite smooth scheme of essentially finite type over a perfect field. This article proves the existence of $b$-functions for locally finitely generated unit $F$-modules when equipped with their induced…

To a B-coring and a (B,A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule…

We develop the Wells derivation for extensions realizing affine datum in arbitrary varieties; in particular, we show there is an exact sequence connecting the group of compatible automorphisms determined by the datum and the subgroup of…

Given a DG-category A we introduce the bar category of modules Modbar(A). It is a DG-enhancement of the derived category D(A) of A which is isomorphic to the category of DG A-modules with A-infinity morphisms between them. However, it is…

Given a symmetrizable generalized Cartan matrix $A$, for any index $k$, one can define an automorphism associated with $A,$ of the field $\mathbf{Q}(u_1, >..., u_n)$ of rational functions of $n$ independent indeterminates $u_1,..., u_n.$ It…

In this paper we consider a construction in an arbitrary triangulated category T which resembles the notion of a Moore spectrum in algebraic topology. Namely, given a compact object C of T satisfying some finite tilting assumptions, we…

This article provides some basic results on weight structures, weight complex functors and homotopy categories. We prove that the full subcategories K(A)^{w < n}, K(A)^{w > n}, K(A)^- and K(A)^+ (of objects isomorphic to suitably bounded…

This monograph introduces a framework for genuine proper equivariant stable homotopy theory for Lie groups. The adjective `proper' alludes to the feature that equivalences are tested on compact subgroups, and that the objects are built from…

Let $b$, $b'$ be commutative monoids in a B\'{e}nabou cosmos. Motivated by six-functor formalisms in algebraic geometry, we prove that the category of commutative monoids over $b\otimes b'$ is equivalent to the category of cocontinuous lax…

A folklore result in category theory is that a (weakly) Cartesian closed category with finite co-products is distributive. Usually, the proof of this small result is carried on using the fact that the exponential functor is right adjoint to…

We study the category O of representations of the rational Cherednik algebra A attached to a complex reflection group W. We construct an exact functor, called Knizhnik-Zamolodchikov functor, from O to the category of H-modules, where H is…

Let $R$ be a commutative ring with identity, and let $\R(R)$ denote the semiring of radical ideals of $R$. The radical functor $\R$, from the category of $R$-modules $R{-}\boldsymbol{\sf{Mod}}$ to the category of $\R(R)$-semimodules…

We introduce the notions of normal tensor functor and exact sequence of tensor categories. We show that exact sequences of tensor categories generalize strictly exact sequences of Hopf algebras as defined by Schneider, and in particular,…

Let R be a regular ring essentially of finite type over a perfect field k. An R-module M is called a unit R[F]-module if it comes equipped with an isomorphism F*M-->M where F denotes the Frobenius map on Spec R, and F* is the associated…

Building on previous work, we study the splitting of idempotents in the category of extensions $\mathbb{E}\operatorname{-Ext}(\mathcal{C})$ associated to a pair $(\mathcal{C},\mathbb{E})$ of an additive category and a biadditive functor to…

I give an elementary proof of the known fact that the category $\mathfrak{F} \left( \Delta \right)$ of $\Delta -$filtered modules, associated to a given finite homological system $\left( \Delta ; \Omega , \leq \right) ,$ is closed under…

Inspired by the study of vertex operator algebra extensions, we answer the question of when the category of local modules over a commutative exact algebra in a braided finite tensor category is a (non-semisimple) modular tensor category.…