In mathematics, p-adic cohomology means a cohomology theory for varieties of characteristic p whose values are modules over a ring of p-adic integers. Examples (in roughly historical order) include: