Andrew Yang

Results 78 comments of Andrew Yang

feat(CategoryTheory/Functor): refactoring Ran

thanks! maintainer merge

feat: API for multiequalizers in the category of types

Thanks! maintainer merge

feat: definition of Ext-groups in abelian categories

Thanks! maintainer merge

feat(RingTheory): Surjective on stalks ring homomorphisms.

Thanks for the reviews! bors merge

Feat(AlgebraicGeometry/FromSpecStalk): Given a scheme `X` and a point `x : X`, the canonical scheme morphism from `Spec(O_x)` to `X`.

Thanks! maintainer merge

Feat (RingTheory/Ideal/KrullDimension): defined the Krull dimension of a ring.

Thanks! maintainer merge

feat(Topology) define jacobson spaces

bors merge

feat(Topology) define jacobson spaces

bors merge

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

I think I have addressed all the comments. Thanks for the swift review!

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

Thanks for the swift review!