PlanetPhysics/Essential Subcategory

A [[../Cod/|category]] ${ℬ}_E$ is defined as an essential subcategory of category $𝒜$ if every [[../TrivialGroupoid/|object]] of $𝒜$ is isomorphic to some object of ${ℬ}_E$.