PlanetPhysics/Generator

Let us consider an abelian category . Then, an object of is called a generator if is nonzero for every nonzero object of .