Sheaves and Functions Modulo p

This graduate-level introduction describes a version of the sheaves-functions dictionary of Deligne, relating characteristic-p-valued functions on the rational points of varieties over finite fields to coherent modules equipped with a Frobenius structure. It includes classical examples as well as new results on characteristic p zeta values.