PlanetPhysics/Essential Subcategory

A category $$\mathcal{B}_E$$ is defined as an essential subcategory of category $$\mathcal{A}$$ if every object of $$\mathcal{A}$$ is isomorphic to some object of $$\mathcal{B}_E$$.