  We describe the Macaulay2 package TateOnProducts and its capabilities, which
include computing cohomology tables and Beilinson monads of sheaves on products
of projective spaces and the derived category pushForward of a sheaf under a
morphism from a projective scheme to a projective space.
