$p$-adic cohomology, crystalline cohomology (Co)homological methods mathematics