In algebraic geometry, isocrystals are p-adic analogues of Ql-adic etale sheaves, introduced by (though the definition of isocrystal only appears in part II of this paper by ). The term isocrystal stands for roughly "crystal up to isogeny".