Definition 0.1
Let
be a locally small
-category. A subcategory
of
is called hereditary if it verifies the following condition:
if
is an object in a full subcategory
of
, then any subobject
of
is also in
.
Contributors to this entry (in most recent order):