English
Related papers

Related papers: On the negative-one shift functor for FI-modules

200 papers

In this work we construct an extension for the category of 0-modules by analogy with [H.-J. Baues and G. Wirshing, Cohomology of small categories, J. Pure Appl. Algebra, 38(1985), 187-211]. The 0-cohomology functor becomes a derived functor…

Category Theory · Mathematics 2008-03-03 A. A. Kostin , B. V. Novikov

As shown by S. Eilenberg and J.C. Moore (1965), for a monad $F$ with right adjoint comonad $G$ on any catgeory $\mathbb{A}$, the category of unital $F$-modules $\mathbb{A}_F$ is isomorphic to the category of counital $G$-comodules…

Category Theory · Mathematics 2015-12-14 Wisbauer Robert

For $N_\infty$ operads $\mathcal O$ and $\mathcal O'$ such that there is an inclusion of the associated indexing systems, there is a forgetful functor from incomplete Tambara functors over $\mathcal O'$ to incomplete Tambara functors over…

Algebraic Topology · Mathematics 2018-03-05 Andrew J. Blumberg , Michael A. Hill

We study relation between left and right adjoint functors to the precomposition functor. As a cosnequence we obtain various dualities in the Ext-groups in the category of strict polynomial functors.

K-Theory and Homology · Mathematics 2014-11-11 Marcin Chałupnik

A correspondence functor is a functor from the category of finite sets and correspondences to the category of $k$-modules, where $k$ is a commutative ring. We determine exactly which simple correspondence functors are projective. Moreover,…

Representation Theory · Mathematics 2019-02-27 Serge Bouc , Jacques Thévenaz

In this paper we define a functor from the algebraic category of frontal Hilbert algebras to the algebraic category of frontal implicative semilattices which is left adjoint to the forgetful functor from the category of frontal implicative…

Logic · Mathematics 2018-11-12 Ramon Jansana , Hernan Javier San Martin

Watts's Theorem says that a right exact functor F:Mod R-->Mod S that commutes with direct sums is isomorphic to -\otimes_R B where B is the R-S-bimodule FR. The main result in this paper is the following: if A is a cocomplete abelian…

Rings and Algebras · Mathematics 2008-06-05 A. Nyman , S. Paul Smith

For any algebra morphism in a monoidal category, we provide sufficient conditions (which are also necessary if the unit is a left tensor generator) for the attached induction functor being semiseparable. Under mild assumptions, we prove…

Category Theory · Mathematics 2026-02-04 Lucrezia Bottegoni , Zhenbang Zuo

For a plural signature $\Sigma$ and with regard to the category $\mathsf{NPIAlg}(\Sigma)_{\mathsf{s}}$, of naturally preordered idempotent $\Sigma$-algebras and surjective homomorphisms, we define a contravariant functor…

Category Theory · Mathematics 2025-12-23 Juan Climent Vidal , Enric Cosme Llópez

We propose a new approach to study the relation between the module categories of a tilted algebra $C$ and the corresponding cluster-tilted algebra $B=C\ltimes E$. This new approach consists of using the induction functor $-\otimes_C B$ as…

Representation Theory · Mathematics 2016-04-26 Ralf Schiffler , Khrystyna Serhiyenko

Let A be an algebra with a countable basis and let B be, say, a Frechet algebra that contains A as a dense subalgebra. This embedding induces a functor from the derived category of B-modules to the derived category of A-modules. In many…

Functional Analysis · Mathematics 2007-05-23 Ralf Meyer

If $\mathcal{M}$ is a finite abelian category and $\mathbf{T}$ is a linear right exact monad on $\mathcal{M}$, then the category $\mathbf{T}\mbox{-mod}$ of $\mathbf{T}$-modules is a finite abelian category. We give an explicit formula of…

Quantum Algebra · Mathematics 2022-08-18 Kenichi Shimizu

We point out that double categories provide a natural setting for modular functors obtained by a (bicategorical) string-net construction: The source of the modular functor -- which is now a double functor -- is a symmetric monoidal double…

Quantum Algebra · Mathematics 2026-05-06 Jürgen Fuchs , Christoph Schweigert , Yang Yang

We prove that the derived parabolic induction functor, defined on the unbounded derived category of smooth mod $p$ representations of a $p$-adic reductive group, admits a left adjoint $\mathrm{L}(U,-)$. We study the cohomology functors…

Representation Theory · Mathematics 2024-01-19 Claudius Heyer

Let $\mathcal{C}$ be a finite tensor category with simple unit object, let $\mathcal{Z}(\mathcal{C})$ denote its monoidal center, and let $L$ and $R$ be a left adjoint and a right adjoint of the forgetful functor $U:…

Quantum Algebra · Mathematics 2015-02-12 Kenichi Shimizu

We develop new techniques for constructing model structures from a given class of cofibrations, together with a class of fibrant objects and a choice of weak equivalences between them. As a special case, we obtain a more flexible version of…

Algebraic Topology · Mathematics 2026-01-23 Léonard Guetta , Lyne Moser , Maru Sarazola , Paula Verdugo

A pair of adjoint functors $(F,G)$ is called a Frobenius pair of the second type if $G$ is a left adjoint of $\beta F\alpha$ for some category equivalences $\alpha$ and $\beta$. Frobenius ring extensions of the second kind provide examples…

Rings and Algebras · Mathematics 2007-05-23 S. Caenepeel , E. De Groot , G. Militaru

We introduce a functor from cochain complexes to bicomplexes, called inflation functor, which sends quasi-isomorphisms to the class of pluripotential weak equivalences. We show this functor is part of a Quillen adjunction. Its right adjoint…

Algebraic Topology · Mathematics 2026-05-22 Pedro Magalhães , Anna Sopena-Gilboy

We explain how to attach a coalgebra $\mathcal C$ over a field $k$ to a small $k$-linear category $\mathsf E$ satisfying suitable finiteness conditions. In this context, we study full-and-faithfulness of the contramodule forgetful functor,…

Category Theory · Mathematics 2023-10-12 Leonid Positselski

Let X_1 and X_2 be schemes of finite type over a field of characteristic 0. Let Q be an object in the category D-mod(X_1\times X_2) and consider the functor F:D-mod(X_1)->Dmod(X_2) defined by Q. Assume that F admits a right adjoint also…

Algebraic Geometry · Mathematics 2015-11-25 Dennis Gaitsgory