strictly full subcategory

A subcategory is strictly full if it is full and closed under isomorphism (i.e. replete).

Note that, as a condition on subcategories, being strictly full is evil; however, seeing the full subcategory as a condition on objects, that condition is non-evil precisely when the full subcategory is strictly full!

Revised on May 12, 2011 19:08:28 by Zoran Škoda (