Stav dette: Toposes, algebraic geometry and logic