Poincaré Duality in abstract 6-functor formalisms

We study Poincaré Duality in the context of abstract 6-functor formalisms. In particular, we give a small and simple list of assumptions that implies Poincaré Duality. As an application, we give new uniform (and essentially formal) proofs of some previously established Poincaré Duality results.