The tilting equivalence for perfectoid algebras gives an equivalence of categories $$K\text{-perf} \cong K^\flat\text{-perf}$$ where the left-hand-side are algebras in characteristic zero and the right-hand-side are in characteristic $p$.
Are there any other non-trivial examples of an equivalence of categories relating characteristic zero things (rings, or schemes, or whatever) on one side to characteristic $p$ things on the other?