Streamlining scheme theory with topoi