Abstract:We compare closed and rigid monoidal categories. Closedness is defined by the tensor product having a right adjoint: the internal-hom functor. Rigidity, on the other hand, generalises the duality of finite-dimensional vector spaces. In the latter, the internal-hom functor is implemented by tensoring with the respective duals. This raises the question: can one decide whether a closed monoidal category is rigid, simply by verifying that the internal-hom is tensor-representable? We provide a counterexample in terms of finitely-generated projective objects in an abelian k-linear category. A byproduct of our work is that we obtain characterisations of the Grothendieck--Verdier duality, also called *-autonomy, and rigidity of functor categories endowed with Day convolution as their tensor product. Applied to Mackey functors, this yields a proof of a sketched argument by Bouc linking rigidity of an object to it being finitely-generated projective.

Duality between injective envelopes and flat covers

A Note On Existence Of Envelopes And Covers

Flat covers and injective hulls of persistence modules

A categorical approach to injective envelopes

Relative injective envelopes and relative projective covers on ring extensions

On Covers and Envelopes under Hom and Tensor Functors

RELATIVELY FLAT ENVELOPES

Some remarks on injective envelopes on ring extensions

Envelopes And Covers By Modules Of Finite Fp-Injective And Flat Dimensions

On tau-flat envelopes

Rigid Dualizing Complexes over Commutative Rings and their Functorial Properties

Relative copure injective and copure flat modules

On Envelopes With The Unique Mapping Property

Ding injective envelopes in the category of complexes

Pontryagin Duality for Modules over Compact Discrete Valuation Rings

Duality and the equations of Rees rings and tangent algebras

Covers and Envelopes with Respect to A Semidualizing Module

Duality in Monoidal Categories

Isomorphism invariants of restricted enveloping algebras

TORSION THEORIES AND ESSENTIAL FLAT ENVELOPES

On #-Injective Complexes