Related papers: Adjoint functors between categories of Hilbert C*-…

The coefficient categories of six functor formalisms are often locally rigid, and when this is the case, the exceptional pushforward and pullback adjunctions may be defined formally. In this short note it is shown that for f a proper map…

In this paper we continue the project of generalizing tilting theory to the category of contravariant functors $Mod(C)$, from a skeletally small preadditive category $C$ to the category of abelian groups. We introduced the notion of a a…

A category N of labeled (oriented) trivalent graphs (nets) or ribbon graphs is extended by new generators called fusing, braiding, twist and switch with relations which can be called Moore--Seiberg relations. A functor to N is constructed…

We realize the embedding functor from pseudotensor category to tensor category in a purely algebraic setting when the pseudotensor category is the category $\mathcal{M}(H)$ of left $H$-modules, which is originally defined by Beilinson and…

Let G be the group of rational points of a reductive connected group over a finite field (resp. nonarchimedean local field of characteristic p) and R a commutative ring. The unipotent (resp. pro-p Iwahori) invariant functor takes a smooth…

The aim of this paper is to present a unified framework in the setting of Hilbert $C^*$-modules for the scalar- and vector-valued reproducing kernel Hilbert spaces and $C^*$-valued reproducing kernel spaces. We investigate conditionally…

We show that, when $A$ is a separable C*-algebra, every countably generated Hilbert $A$-module is projective (with bounded module maps as morphisms). We also study the approximate extensions of bounded module maps. In the case that $A$ is a…

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…

For any 0-cell $B$ in a 2-category $\Bc$ we introduce the notion of adjoint algebra $\adj_B$. This is an algebra in the center of $\Bc$. We prove that, if $\ca$ is a finite tensor category, this notion applied to the 2-category of…

Let $F:\mathcal{A}\to \mathcal{B}$ be a left adjoint between abelian categories and let $Ch(F)$ be the induced left adjoint on chain complexes. If the abelian categories $\mathcal{A}$ and $\mathcal{B}$ are equipped with sufficiently nice…

In this paper we set up the foundations around the notions of formal differentiation and formal integration in the context of commutative Hopf algebroids and Lie-Rinehart algebras. Specifically, we construct a contravariant functor from the…

We apply the notion of relative adjoint functor to generalise closed monoidal categories. We define representations in such categories and give their relation with left actions of monoids. The translation of these representations under lax…

We present a doctrinal approach to category theory, obtained by abstracting from the indexed inclusions (via discrete fibrations and opfibrations) of the left and of the right actions of X in Cat in categories over X. Namely, a "weak…

In this paper we give an explicit description of the left adjoint of the forgetful functor from the algebraic category of G\"odel algebras (i.e., prelinear Heyting algebras) to the algebraic category of bounded prelinear Hilbert algebras.…

This note aims to introduce a left adjoint functor to the functor which assigns a heap to a group. The adjunction is monadic. It is explained how one can decompose a free group functor through the previously introduced adjoint and employ it…

We show that a A-linear map of Hilbert A-modules is induced by a unitary Hilbert module operator if and only if it extends to an ordinary unitary on appropriately defined enveloping Hilbert spaces. Applications to the theory of…

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…

We single out the concept of concrete Hilbert module over a locally $C^*$-algebra by means of locally bounded operators on certain strictly inductive limits of Hilbert spaces. Using this concept, we construct an operator model for all…

Given a monoidal adjunction, we show that the right adjoint induces a braided lax monoidal functor between the corresponding Drinfeld centers provided that certain natural transformations, called projection formula morphisms, are…

There are many contexts in algebraic geometry, algebraic topology, and homological algebra where one encounters a functor that has both a left and right adjoint, with the right adjoint being isomorphic to a shift of the left adjoint…