Infinite-dim Tannakian framework?
Lefschetz principle? Already asked?
(smoothness/properness duality, Artin conjecture for Brauer groups (refs?), list of spectral sequences in AG, finiteness of stable homotopy groups of spheres, etc etc etc)
nLab page on Questions to ask