Andrew Yang

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

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

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

feat(algebraic_geometry/morphisms): Construct morphism properties from ring homomorphism properties

1

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

feat(ring_theory/derivation): Endomorphisms of the Kähler differential module

1

--- - [x] depends on: #15855 - [x] depends on: #15856 - [ ] depends on: #16047 [](https://gitpod.io/from-referrer/)

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

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

feat(category_theory/limits/shapes/diagonal): The diagonal object of a morphism.

2

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

feat(ring_theory/finiteness): A morphism is finitely presented if the composition with a finite morphism is.

5

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

feat(catgory_theory/sites): Image sheaf

2

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