Several approaches to crystalline H^1
Working exclusively with (families of) elliptic curves and abelian varieties for illustration, I'll describe a few different ways of looking at the first crystalline cohomology group: "Dieudonne theory", "vector extensions", and "crystals". I will explain what the words mean, with examples