Much of modern algebraic geometry fits this paradigm. The introduction of schemes makes some things much more complicated -- non-uniqueness of the embedded components of the primary decomposition compared to the uniqueness of the decomposition of a variety into its irreducible components comes to mind -- but the technical advantages of scheme theory have proven themselves many times over in the 50+ years since they were introduced.
Michael Joyce
- 1.8k
- 1
- 12
- 18