Todo

edit
  • Add algebraic stacks as an example, demonstrating how ringed topoi put algebraic stacks and schemes on the same technical footing