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 a property that does not respect the principle of equivalence of category theory; however, seeing the full subcategory as a condition on objects, that condition is in accord with the principle of equivalence precisely when the full subcategory is strictly full!
Last revised on September 17, 2022 at 16:26:39. See the history of this page for a list of all contributions to it.