essential subcategory

Definition 0.1   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$ .

Bibliography

1
Paul Taylor. ``Practical Foundations of Mathematics.'', Cambridge University Press, 1999. (see also categories, functors and pseudo-functors).



Contributors to this entry (in most recent order):

As of this snapshot date, this entry was owned by bci1.