nonabelian cohomology
gerbe
differential forms in synthetic differential geometry
display of a p-divisible group