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