Serre functors on a k-linear category

The duality data, its Hom-finiteness hypothesis, the Serre pairing and trace, and uniqueness of the Serre functor up to a canonical natural isomorphism. No shift and no triangulation; the triangulated refinements are DerivedAlgGeo.CategoryTheory.Triangulated.SerreFunctor.