Definition 0.1. A category ℬE is defined as an essential subcategory of category 𝒜 if every object of 𝒜 is isomorphic to some object of ℬE.
[1] Paul Taylor. “Practical Foundations of Mathematics.”, Cambridge University Press, 1999. (see also categories, functors and pseudo-functors).
