It might be a not very specific problem. I just wanna know how much do we rely on the property of "base change closed". In the definition of Grothendieck pretopology, we require a collection of morphisms satisfied the "invariant under base change"
As far as I know, in noncommutative algebra. The flat morphism does not respect to base change in general. I heard from some guys in category theory telling me that the "topology" which satisfied the "base change closed" is called "square topology"(I am not sure whether I spell it in correct way).
My question is: if we do not have the property of "invariant under base change". How much algebraic geometry can we recover? Or Is there a big difference from classcial algebraic geometry?
In fact, I know some work of Kontsevich-Rosenberg on noncommutative algebraic geometry dealing with the topology which is lack of base change property. And they called "quasi-topology". I just wonder know if there are other people in category theory or in algebraic geometry ever considered this question.
Thanks in advance!