essential subcategory
Definition
0
.
1
A category
is defined as an
essential subcategory
of category
if every object of
is isomorphic to some object of
.
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):
bci1
As of this snapshot date, this entry was owned by
bci1
.