Andrew Yang

feat(AlgebraicGeometry/Limits): Spec preserves finite coproducts

2

--- - [ ] depends on: #14429 [](https://gitpod.io/from-referrer/)

refactor(AlgebraicGeometry): Rework `Morphisms/Basic` to phase away from TFAEs

1

--- [](https://gitpod.io/from-referrer/)

feat(RingTheory/LocalProperties): being projective can be checked locally on stalks

1

... for finitely presented modules Written at the AIM algebraic geometry workshop Co-authored-by: David Swinarski --- [](https://gitpod.io/from-referrer/)

feat(AlgebraicGeometry) define rational maps

1

and show that they are equivalent to `Spec X.functionField ⟶ Y`. --- [](https://gitpod.io/from-referrer/)

feat(Topology) define jacobson spaces

1

--- [](https://gitpod.io/from-referrer/)

feat(AlgebraicGeometry/PrimeSpectrum): prime spectrum of jacobson rings

1

--- [](https://gitpod.io/from-referrer/)

feat(AlgebraicGeometry): the split algebraic torus

2

--- [](https://gitpod.io/from-referrer/)