Abelian

Image from deviantart.com

Abelian category of kernels

Of morphism that includes the

Necessary existence in modules of the

Real manifold into a ring